diff options
author | lookshe <github@lookshe.org> | 2016-09-26 14:29:46 +0200 |
---|---|---|
committer | lookshe <github@lookshe.org> | 2016-09-26 15:54:31 +0200 |
commit | 00a62227354d9dc674cef7bf10f89c7c3ac59a96 (patch) | |
tree | cf4811fe336a74ff36492f413549e491e89891dd /git_mirror.py | |
parent | bfb46621b42cc60cc5433e87bb954e02db187719 (diff) |
changed user to used one and disabled deleting of branches
Diffstat (limited to '')
-rw-r--r-- | git_mirror.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/git_mirror.py b/git_mirror.py index 859b376..a9f13f6 100644 --- a/git_mirror.py +++ b/git_mirror.py @@ -172,7 +172,7 @@ class Repo: else: # ref does not exist anymore. delete it. assert local_sha != git_nullsha, "Why didn't we bail out earlier if there is nothing to do...?" - git.update_ref("-d", ref, local_sha) # this checks that the old value is still local_sha + #git.update_ref("-d", ref, local_sha) # this checks that the old value is still local_sha # Now run the post-receive hooks. This will *also* push the changes to all mirrors, as we # are one of these hooks! os.putenv("GIT_MIRROR_SOURCE", mirror) # tell ourselves which repo we do *not* have to update |