Update README_CONTRIBUTORS_AND_MAINTAINERS.md

Author: jonicho

README_CONTRIBUTORS_AND_MAINTAINERS.md

@@ -177,7 +177,8 @@ To release a new version, follow these steps:
 ### Creating the release
 
 - Choose a new version number according to the [Semantic Versioning](https://semver.org/) scheme.
-- Create a new tag for the new version with the following command (making sure you are on the commit you want to tag as the release (usually the most recent one)):
+- Make sure that you are on the commit you want to tag as the release (usually the most recent one).
+- Create a new tag for the new version with the following command:
   ```shell
   $ git tag -a <tag> -m "<description>"
   ```
@@ -189,10 +190,13 @@ To release a new version, follow these steps:
   It is important that the tag name starts with a lowercase `v` followed by the version number (meaning it must match `v*.*.*`).
 - Push the tag to the repository:
   ```shell
-  $ git push origin tag v1.2.3
+  $ git push # push the changes
+  $ git push origin tag <tag> # push the tag
   ```
+  (replace `<tag>` with the tag name, e.g., `v1.2.3`)
+
   This automatically triggers GitHub actions to do the following things (defined in the [.github/workflows/](.github/workflows/) directory):
-  - Publish the documentation on GitHub Pages.
+  - Compile and publish the documentation on GitHub Pages.
   - Create a release draft on GitHub with the single-header include file already attached.
 - Edit the release draft in the [releases section on GitHub](https://github.com/ti-uni-bielefeld/T-SIMD/releases) to add the changelog and other information. See the previous releases for examples.
   - Note that you might have to wait a few moments for the GitHub actions to finish before the release draft appears.