forked from pub-solar/infra
939 B
939 B
Contributing guide
Things you'll need:
- To create Pull Requests, you will need to register your pub.solar ID first.
- For small changes, e.g. to documentation, you can directly edit files in the browser.
Getting a development shell
First, get a local copy of this repository:
git clone https://git.pub.solar/pub-solar/infra.git
cd infra
then, install the package manager nix.
Finally, run:
nix develop
This will install a development shell (devshell) with all required tools.
Final checks before creating a Pull Request
Before creating a pull request, it's recommended to check the formatting:
treefmt
If you are a terminal-lover, the AGit alternative to the web based Pull Request workflow might be interesting.