File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -10,7 +10,7 @@ permissions:
1010
1111jobs :
1212 release :
13- name : Release tagged mainline commit
13+ name : Release tagged main commit
1414 runs-on : ubuntu-latest
1515
1616 steps :
@@ -19,20 +19,20 @@ jobs:
1919 with :
2020 fetch-depth : 0
2121
22- - name : Check whether the tag is on mainline
22+ - name : Check whether the tag is on main
2323 id : tag-check
2424 env :
2525 TAG_NAME : ${{ github.ref_name }}
2626 shell : bash
2727 run : |
28- git fetch --no-tags origin mainline
28+ git fetch --no-tags origin main
2929 tag_commit="$(git rev-list -n 1 "$TAG_NAME")"
3030
31- if git merge-base --is-ancestor "$tag_commit" origin/mainline ; then
31+ if git merge-base --is-ancestor "$tag_commit" origin/main ; then
3232 echo "on_mainline=true" >> "$GITHUB_OUTPUT"
3333 else
3434 echo "on_mainline=false" >> "$GITHUB_OUTPUT"
35- echo "Tag $TAG_NAME does not point to a commit on mainline ; skipping release."
35+ echo "Tag $TAG_NAME does not point to a commit on main ; skipping release."
3636 fi
3737
3838 - name : Create GitHub release
You can’t perform that action at this time.
0 commit comments