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)
