Formalize PR procedure.

[DavidSagan]

There needs to be some guidelines for how to handle PRs. How are reviewers assigned (the PR person assigns reviewers?) and who should be responsible for merging the PR (The PR person after the reviewers are finished?) are two.

[rot4te]

Following my email a few minutes ago, I think the most important part of this is editing the CI workflow.
If you've done your work in a new branch (eg after a git checkout -b new_issue), then you can push to
the branch with git push -u origin new_issue, and it will run the CI. If the CI is modified with the intended functionality of the new code in mind, a passing score could let us automatically merge.

[DavidSagan]

Just passing CI tests is not always enough. Especially if the person submitting the PR is inexperienced. We should have a discussion about this...

[DavidSagan]

I'm mooting this.