From ecfa0da51d76a6d59e34e4c1bdaae927acf0a894 Mon Sep 17 00:00:00 2001 From: Abel Soares Siqueira Date: Sun, 1 Oct 2023 12:16:57 +0200 Subject: [PATCH] Apply suggestions from code review --- docs/src/developer.md | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/docs/src/developer.md b/docs/src/developer.md index c7bc646c..a463f3bb 100644 --- a/docs/src/developer.md +++ b/docs/src/developer.md @@ -38,9 +38,9 @@ If this is the first time you work with this repository, follow the instructions 1. Fork this repo. 2. Clone your repo (this will create a `git remote` called `origin`). 3. Add this repo as a remote: -```bash -git remote add orgremote https://github.com/abelsiqueira/COPIERTemplate.jl -``` + + ```bash + git remote add orgremote https://github.com/abelsiqueira/COPIERTemplate.jl ## Working on a new issue @@ -86,9 +86,8 @@ git remote add orgremote https://github.com/abelsiqueira/COPIERTemplate.jl - Make sure the pre-commit tests pass. - Fetch any `main` updates from upstream and rebase your branch, if necessary: -```bash + ```bash git fetch orgremote git rebase orgremote/main BRANCH_NAME -``` - Then you can open a pull request and work with the reviewer to address any issues.