Hot fix: fetch the tag object into the GitHub workflow

Signed-off-by: Johannes Schindelin <[email protected]>

Author: dscho

.github/workflows/release-tag.yml

@@ -37,11 +37,14 @@ jobs:
           tag_name=${GITHUB_REF#refs/tags/}
           test "x$GITHUB_REF" != "x$tag_name" || die "Not a tag: $GITHUB_REF"
 
+          # `actions/checkout` only downloads the peeled tag (i.e. the commit)
+          git fetch origin +$GITHUB_REF:$GITHUB_REF
+
           train="$(echo "$tag_name" | sed -n 's|^\(v[0-9][0-9]*\)[.0-9]*$|\1|p')"
           test -n "$train" || die "Unexpected tag name: $tag_name"
           echo "$train" >train
 
-          if train_rev="$(git rev-parse --verify "refs/remotes/origin/$train")"
+          if train_rev="$(git rev-parse --verify "refs/remotes/origin/$train" 2>/dev/null)"
           then
             test 0 -eq "$(git rev-list --count "$GITHUB_REF..$train_rev")" ||
             die "Branch '$train' does not fast-forward to tag '$tag_name'"