Add branch to push command.

This commit is contained in:
Llewellyn van der Merwe 2023-02-18 22:15:27 +02:00
parent 980e37841e
commit 0280d88699
Signed by: Llewellyn
GPG Key ID: A9201372263741E7

View File

@ -420,12 +420,12 @@ setGitCommit() {
setPushChanges() {
# If the DRY variable is set to true, print a message indicating that this is a dry run and no changes will be made.
if $DRY; then
_echo "[dry run] git push"
_echo "[dry run] git push origin ${VDM_REPO_BRANCH}"
_echo "[dry run] git push --tags"
else
# If the DRY variable is not set, try to push the changes and tags to the remote repository.
# Redirect stdout and stderr to /dev/null to suppress output.
git push >/dev/null 2>&1 || return 1
git push origin "${VDM_REPO_BRANCH}" >/dev/null 2>&1 || return 1
git push --tags >/dev/null 2>&1 || return 1
fi