On Mar 14, 2017, at 06:16 PM, Ned Deily wrote:
There is one pattern that is happening fairly often and that I think we should do something about. That is, non-committers submitting a PR without first opening an issue on BPO. It gets very old fast trying to enforce that. Perhaps one of the bots could flag PRs that do not have a BPO ref in their titles?
Should there be a way to override that? In another project of mine on GH, we use a 'trivial' tag on the PR to bypass that check.