[petsc-dev] Reviewers on pull requests

[Håkon Strandenes]

Hi,

I recently added another pull request (#308) to Bitbucket, and think 
that I am starting to find out how this works after first failing, then 
studying your wiki pages and git tutorials. However, I don't find any 
information on the policy on which reviewers I should choose for the 
pull requests.

Should I just pick some of you PETSc developers, or do you have some 
arrangement on which one of you that does PR approval and merges?

BTW: I just added Barry as a reviewer, feel free to give me a hint and I 
will add more.

Håkon

(this is hopefully going to be my last PR for a while)