1
0
Fork 0
forked from pub-solar/infra
infra/CONTRIBUTING.md
2024-05-08 22:29:11 +02:00

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.