- no commits direct to master
- all commits as pull requests (one or several per PR)
- each commit solves one identifiable problem
- never merge one's own PRs, another contributor does this
This repository was archived by the owner on Feb 19, 2026. It is now read-only.