> On May 23, 2016, at 11:56 AM, Clayton Daley <clayton.da...@gmail.com> wrote:
>
> Closing PRs will make them less likely to be found by searchers. If every PR
> has an issue (common for bug fixes, less common for new features), this is
> less of a problem -- is this something the bot would need to verify/fix?
The bot is just for the contributors to be able to re-open PRs to respond to
review feedback. When a PR is closed, the reviewers themselves will ask the
authors to open an issue separately if that is appropriate.
-glyph
_______________________________________________
Twisted-Python mailing list
Twisted-Python@twistedmatrix.com
http://twistedmatrix.com/cgi-bin/mailman/listinfo/twisted-python
