File tree 1 file changed +3
-1
lines changed 1 file changed +3
-1
lines changed Original file line number Diff line number Diff line change 81
81
echo " REVISION=${REV} " >> " $GITHUB_ENV "
82
82
echo " version=${REV} " >> " $GITHUB_OUTPUT "
83
83
84
+ GITHUB_DOMAIN=${GITHUB_SERVER_URL#*// }
84
85
CURRENT_BRANCH=" $( git branch --show-current) "
85
86
INPUT_BRANCH=" ${INPUT_BRANCH:- $CURRENT_BRANCH } "
86
87
INPUT_REPOSITORY=" ${INPUT_REPOSITORY:- $GITHUB_REPOSITORY } "
87
88
89
+
88
90
echo " Repository: ${INPUT_REPOSITORY} "
89
91
echo " Actor: ${GITHUB_ACTOR} "
90
92
@@ -94,7 +96,7 @@ if [[ $INPUT_PUSH == 'true' ]]; then
94
96
echo " You probably want to run on push to your default branch instead." >&2
95
97
else
96
98
echo " Pushing to branch..."
97
- REMOTE_REPO=" https://${GITHUB_ACTOR} :${INPUT_GITHUB_TOKEN} @github.com /${INPUT_REPOSITORY} .git"
99
+ REMOTE_REPO=" https://${GITHUB_ACTOR} :${INPUT_GITHUB_TOKEN} @${GITHUB_DOMAIN} /${INPUT_REPOSITORY} .git"
98
100
git pull " $REMOTE_REPO " " $INPUT_BRANCH "
99
101
git push " $REMOTE_REPO " " HEAD:${INPUT_BRANCH} " --tags
100
102
fi
You can’t perform that action at this time.
0 commit comments