version 1.2.3

Author: WilliamBergamin

.github/maintainers_guide.md

@@ -157,6 +157,7 @@ password: {your password}
    - Commit with a message including the new version number. For example `1.2.3` & Push the commit to a branch and create a PR to sanity check.
      - `git checkout -b v1.2.3`
      - `git commit -a -m 'version 1.2.3'`
+     - `git push -u origin HEAD`
    - Open a PR and merge after receiving at least one approval from other maintainers.
 
 2. Distribute the release