Closed andrewda closed 7 years ago
/vote close
This issue hasn't been active for a while.To keep it open, react with :-1:
/vote close This issue hasn't been active for a while.To keep it open, react with :-1:
Vote Failed
/vote close This issue hasn't been active for a while.To keep it open, react with :-1:
Vote Failed
/vote close
This issue hasn't been active for a while. To keep it open, react with :-1:
/vote close This issue hasn't been active for a while. To keep it open, react with :-1:
Command Ran
Although it probably won't be a huge issue, it's possible for someone to edit their PR message to
closes #1, closes #2, closes #3, closes #4, closes #5, closes #6, closes #7
just before being merged in. Once merged, these issues/PR's would all be closed – that's not good. We should either filter outfixes
andcloses
(and everything else from https://help.github.com/articles/closing-issues-via-commit-messages/) in the commit message or edit the PR message before merging.Obviously, now that I mention it, I feel like people are going to start abusing it...