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

[Smith, Barry F.]

   what do people suggest to improve it.

    We can't have valuable pieces of code going stale in there for months.