For some reason, the repo I’m maintaining will not automatically closes issues that were linked with a PR. I made sure that the PRs are properly merged into our default branch but it still doesn’t happen.
Here’s the issue in our repo. Here is its content:
Merging a linked PR into the
master branch does not close its corresponding issue. See #592 and confirm the PR is merged into
master using this url (just
Ctrl + F and search for
raspberry ). Also a few others like #582 and #543.
Make an issue and make a PR. Link those together and merge the PR into
master . The Issue will probably not close.
Not sure. Here’s what we’ve tried:
- Linking the issue using the GitHub website
- Linking the issue by using keywords and mentioning the issue number in the comments (new icon: Qt (original) #691)
- Searching on GitHub Community (found no issues similar to this)
My next move will be making a thread about this on the Community website. Hopefully, we’ll get an answer there
For our workflow, we merge our PRs into a
developbranch using squash merge. After a while, we then merge it into the
masterbranch using a normal merge commit.
I’m not sure if it’s related. Some of the Issues (like this)will have icons that show the PR were merged:
Others (like this) don’t:
Both are issues that should have been closed automatically