[petsc-dev] Our pull request work flow is terrible and horrible

[Jed Brown]

Patrick Sanan <patrick.sanan at gmail.com> writes:

>>    Hmm, now there are two things to keep track of for each pull request
>> (the pull request web page and the issue web page) so you've doubled the
>> pain just so you can use the bitbucket issue assigner to know who is
>> assigned to it.
>>
> I meant to suggest to do this only for "not actively trying to merge" PRs
> that you want to take off the PR page and convert to issues.

FWIW, GitHub pull requests can be assigned and also track which named
reviewers have entered reviews.  Users can also get a unified summary of
review requests and assigned issues/PRs across all projects.

https://github.com/pulls/review-requested
https://github.com/pulls/assigned