Skip to content

Commit 892a9d1

Browse files
authored
Small changes to recommendations on making PRs from the GitHub UI (#139)
1 parent 090d36f commit 892a9d1

File tree

1 file changed

+3
-4
lines changed

1 file changed

+3
-4
lines changed

docs/contributing/index.md

Lines changed: 3 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -191,10 +191,9 @@ Once your changes are ready, click on the "Commit changes..." button in the top
191191
See [the GitLab official guide on editing files](https://docs.github.com/en/repositories/working-with-files/managing-files/editing-files) for a step-by-step walkthrough.
192192

193193
!!! note
194-
You will need to keep the default option **Create a new branch for this commit and start a pull request**.
195-
196-
* if the change is small and you are CSCS staff, you can merge the PR immediately
197-
* all other changes can be
194+
Use the default option **Create a new branch for this commit and start a pull request**.
195+
This allows others to review the change.
196+
Even for trivial changes, opening a PR creates visibility that a small fix or change has been made.
198197

199198
## Style guide
200199

0 commit comments

Comments
 (0)