From afc3a81195fe3fe90424e46af44660703b54607e Mon Sep 17 00:00:00 2001 From: tmigot Date: Sun, 1 Oct 2023 09:12:43 +0200 Subject: [PATCH] Update developer.md --- docs/src/developer.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/src/developer.md b/docs/src/developer.md index e65c28f4..7041e7a7 100644 --- a/docs/src/developer.md +++ b/docs/src/developer.md @@ -86,9 +86,9 @@ 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 +- Then you can open a pull request and work with the reviewer to address any issues.