You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
AFAIK the "correct" way to do this is to state closes #2781 or fixes #2781 in your commit message in which case GitHub will automatically add a reference to this issue in your PR and will automatically close this issue when your PR gets merged into upstream. The reason this isn't being done is because you're missing the # symbol in front of the issue number.
I think it would be a bit premature to close the issue before PR is merged, but I'm watching the PR & am happy to close once it gets merged.
I tend to avoid # mentions in commit messages, because rewriting PR branches and pushing
pollutes the issue page with multiple references, so I stopped using it and use GH1234
instead, closing things manually. github support never got back to me on being able to
delete references manually, that was months ago.
Unless I'm mistaken I think the following unit-test should pass:
The text was updated successfully, but these errors were encountered: