From: Barış Metin <Talip-Baris.Metin@sophia.inria.fr>
Date: Wed, 13 Oct 2010 16:03:53 +0000 (+0200)
Subject: handle commit ids while pushing to remote
X-Git-Tag: 5.0-rc16~49
X-Git-Url: http://git.onelab.eu/?p=build.git;a=commitdiff_plain;h=a92e23895fd5988372c5b29efadc4afe62b3af67

handle commit ids while pushing to remote
---

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))