diff --git a/VCS_SCM/Commands b/VCS_SCM/Commands index 07174ddb471237faf9097e7e495f335e4789c28a..7239ecc8bddc9e0487a6c30606b31bc3cd576fba 100644 --- a/VCS_SCM/Commands +++ b/VCS_SCM/Commands @@ -144,6 +144,7 @@ git push -u origin --all git push -u REMOTE_NAME --all git push --set-upstream origin BRANCH_NAME git push --set-upstream REMOTE_NAME BRANCH_NAME +git push --mirror REMOTE_REPOSITORY_URL(HTTPS/SSH) git push origin --delete BRANCH_NAME # delete a branch in remote repository git push REMOTE_NAME --delete BRANCH_NAME