From a92e23895fd5988372c5b29efadc4afe62b3af67 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Bar=C4=B1=C5=9F=20Metin?= Date: Wed, 13 Oct 2010 18:03:53 +0200 Subject: [PATCH] handle commit ids while pushing to remote --- module-tools.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/module-tools.py b/module-tools.py index fc2598ed..189e3837 100755 --- a/module-tools.py +++ b/module-tools.py @@ -344,7 +344,7 @@ class GitRepository: self.__run_command_in_repo("git add .", ignore_errors=True) self.__run_command_in_repo("git add -u", ignore_errors=True) self.__run_command_in_repo("git commit -F %s" % logfile, ignore_errors=True) - if branch == "master": + if branch == "master" or self.__is_commit_id(branch): self.__run_command_in_repo("git push") else: self.__run_command_in_repo("git push origin %s:%s" % (branch, branch)) -- 2.47.0