fixup! Add a workflow to push the GitHub Actions

Author: dscho

.github/workflows/push-github-actions.yml

@@ -45,7 +45,7 @@ jobs:
               set -x &&
               git for-each-ref &&
               v1=FETCH_HEAD &&
-              tag_name="$(git name-rev '--refs=refs/tags/v[0-9]*.[1-9]*' $v1)" &&
+              tag_name="$(git name-rev '--refs=refs/tags/v[0-9]*.[0-9]*' $v1)" &&
               case "$tag_name" in
               '') tag_name=v1.0;;
               *) incr="${tag_name#* v1.}"; tag_name="v1.$((incr + 1))";;