[petsc-dev] bitbucket pull requests

[Barry Smith]

The   Bitbucket pull request system isn’t that great for our needs.

1) the damn Merge button
2) Users should always request merging to master or maint but the integrators need to first merge to next and then check the tests and then merge to master (and maint) several and there is not a good way of tracking that.  It would be nice if each pull request tracked if it had been merged to next etc

 BTW: people have done a good job in the last couple of days of cleaning up the pull requests but there is still some old stuff in there that needs cleaning.


  Barry