Merge pull request #36 from EATRIS/docsupdate

updating docs bullet points
EATRIS · Dec 1, 2023 · 52f7fad · 52f7fad
2 parents 65a4dfa + 0d699b4
commit 52f7fad
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/doc/contribute.rst b/doc/contribute.rst
@@ -21,8 +21,7 @@ When making changes to this repository, we follow the `GitHub flow`_. For each i
 
 * Create a new branch
 * Edit the file(s)
-* Create a pull request (PR)
- automatically triggers validation checks
+* Create a pull request (PR) - *automatically triggers validation checks*
 * Merge PR into `main` branch after review
 * Delete the branch after merging PR
 * Review issue and mention PR in a comment