forked from pub-solar/os
804e972c57
When following the getting started guide commands were failing due to the mater branch not existing. I went through and updated all references in the docs and other scripts from master to main.
19 lines
690 B
Markdown
19 lines
690 B
Markdown
# Pull Requests
|
|
|
|
## TL;DR;
|
|
- **Target Branch**: `main`
|
|
- **Merge Policy**: [`bors`][bors] is always right (→ `bors try`)
|
|
- **Docs**: every changeset is expected to contain doc updates
|
|
- **Commit Msg**: be a poet! Comprehensive and explanatory commit messages
|
|
should cover the motivation and use case in an easily understandable manner
|
|
even when read after a few months.
|
|
- **Test Driven Development**: please default to test driven development where possible.
|
|
|
|
### Within the Devshell (`nix develop`)
|
|
- **Hooks**: please `git commit` within the devshell
|
|
- **Fail Early**: please run from within the devshell on your local machine:
|
|
- `nix flake check`
|
|
|
|
[bors]: https://bors.tech
|
|
|