handle commit ids while pushing to remote

diff --git a/module-tools.py b/module-tools.py
index fc2598e..189e383 100755 (executable)
--- 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))