Better README #36

Merged
merge-bot merged 6 commits from Luis-Hebendanz-main into main 2023-12-09 18:14:04 +00:00
Showing only changes of commit 7d4d6f59c2 - Show all commits

View File

@@ -106,8 +106,8 @@ Let's set up your Git workflow to collaborate effectively:
2. **Git Workflow**: 2. **Git Workflow**:
1. Add your changes to Git using `git add <file1> <file2>`. 1. Add your changes to Git using `git add <file1> <file2>`.
2. Run `nix fmt` to lint your files. 2. Run `nix fmt` to lint your files. This will format your files and make changes!
3. Commit your changes with a descriptive message: `git commit -a -m "My descriptive commit message"`. 3. Commit your changes and those of nix fmt with a descriptive message: `git commit -a -m "My descriptive commit message"`.
4. Make sure your branch has the latest changes from upstream by executing: 4. Make sure your branch has the latest changes from upstream by executing:
```bash ```bash
git fetch && git rebase origin/main --autostash git fetch && git rebase origin/main --autostash