Git protocol

• Merging generally only requires one approval.
• For large commits with major effects on everyone, let's get everyone's approval, but request that explicitly, such that people know they have to react
• The merging should usually be done by the person opening the PR. If the time delay causes issues, it's okay to merge as a reviewer.