Update how commit is pushed

This commit is contained in:
Stefan Zweifel 2020-02-05 21:22:54 +01:00
parent b197c5ff8c
commit 5df30c89b8

View File

@ -55,7 +55,12 @@ _local_commit() {
}
_push_to_github() {
if [ -z $INPUT_BRANCH ]
then
git push origin
else
git push --set-upstream origin "HEAD:$INPUT_BRANCH"
fi
}
_main