Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

Merged pull request showing as open in Search results

I use a search criteria to filter my PRs to display all the open PRs. It's worked perfectly in the past, but now it has started showing a some merged PRs.

My search criteria:

is:open is:pr org:trailhead

results in this:

image of the search results

It includes three merged PRs. I've tried to add labels and then use search to exclude these PRs, but that's not working either (they stay in the list).

How can I fix this?

like image 561
Kieren Jameson Avatar asked Dec 06 '17 20:12

Kieren Jameson


People also ask

What happens when a pull request is merged?

Once the repository maintainer has approved a pull request, the developer's new updates in the forked repository are merged with the main project repository. The product is then updated with the new feature or bug fix, and can now be viewed by end users.

What does it mean when a pull request is open?

Pull requests let you tell others about changes you've pushed to a branch in a repository on GitHub. Once a pull request is opened, you can discuss and review the potential changes with collaborators and add follow-up commits before your changes are merged into the base branch.

Can you reopen merged pull request?

You can revert a pull request after it's been merged to the upstream branch.


1 Answers

I has a similar issue, removing the assignees who haven't neither approved nor requested changes fixed the issue

like image 133
Tsef Avatar answered Nov 13 '22 23:11

Tsef