As a guiding principle, we require two approvals from core developers before

merging a pull request. This two-pairs-of-eyes strategy shall ensure a

consistent project direction and prevent accidental mistakes. It's permissible

to merge with one approval if the change is not fundamental and can easily be

reverted any time in the future.

Some explicit rules following from this:

* *Documentation and examples* may be merged by the first reviewer. Use

* Minor *infrastructure updates*, e.g. temporary pinning of broken dependencies

or small changes to the CI configuration, can be merged with a single

approval.

* *Code changes* (anything in ``src`` or ``lib``) need at least two

After giving the last required approval, the author of the approval should

merge the PR. PR authors must not self-merge, except for when another reviewer

explicitly allows it (e.g., "Approve modulo CI passing, may self merge when

green", or "Take or leave the comments. You may self merge".).

Core developers may also self-merge in exceptional emergency situations.