fix release process

Author: mobula9

docs/contribute.md

@@ -83,12 +83,12 @@ git push origin :<old-name> && git push origin <new-name>
 gh pr create --fill
 ```
 
-After the merge, don't forget to delete to branch.
+> Note: after the merge, don't forget to delete to branch.
 
 #### New release
 
 ```bash
-git checkout main && git pull
+git checkout main && git pull && git co -
 git describe --tags `git rev-list --tags --max-count=1` # to verify what is the current tag
 export NEW_GIT_VERSION=v #...X.X.X
 ./scripts/publish-release.sh

scripts/publish-release.sh

@@ -1,10 +1,12 @@
 #!/bin/bash
 
+# Check state.
 if [ -z "${NEW_GIT_VERSION}" ]; then
     echo "No \$NEW_GIT_VERSION env var found. Exiting."
     exit 1
 fi
 
+# Initilize
 platform='unknown'
 unamestr=`uname`
 if [[ "$unamestr" == 'Linux' ]]; then
@@ -14,9 +16,9 @@ elif [[ "$unamestr" == 'FreeBSD' ]]; then
 elif [[ "$unamestr" == 'Darwin' ]]; then
    platform='osx'
 fi
-
 git_base_dir=`git rev-parse --show-toplevel`
 
+# Update version everywhere (add and commit changes)
 if [[ $platform == 'linux' ]]; then
    sed -i -E "s/v[0-9]+\.[0-9]+\.[0-9]/$NEW_GIT_VERSION/" `git rev-parse --show-toplevel`/src/Constants.php
 else
@@ -27,7 +29,11 @@ git add `git rev-parse --show-toplevel`/src/Constants.php
 
 git add $git_base_dir/src/Constants.php
 git commit -m "bump version to $NEW_GIT_VERSION"
+git push
 echo "Note: new commit \"bump version to $NEW_GIT_VERSION\""
+
+# Tag and release
+git checkout main
 git tag $NEW_GIT_VERSION
 git push origin $NEW_GIT_VERSION
 gh release create --draft $NEW_GIT_VERSION --title $NEW_GIT_VERSION