commit e5c1eed09065e5d2da67d72526be42fe05287c4e
author Monty Taylor <mordred@inaugust.com> Wed Oct 23 08:55:13 2013 -0500
committer Monty Taylor <mordred@inaugust.com> Thu Oct 24 23:16:29 2013 -0400
tree 3451c87fb51e972aa52a707bb68a78ea633b8124
parent 39948a3fe3e753da982af1a57a986f34b81ac1cb

Only push tags to gerrit

A bare push will attempt to push tags back to upstream repos, which will
not work.

Change-Id: Id516a792a00d1773274fc04bd3fd2c447c9cbd95

jeepyb/cmd/manage_projects.py

diff --git a/jeepyb/cmd/manage_projects.py b/jeepyb/cmd/manage_projects.py
index 853dde2..4f360a6 100644
--- a/jeepyb/cmd/manage_projects.py
+++ b/jeepyb/cmd/manage_projects.py
@@ -525,7 +525,7 @@
                         repo_path,
                         "push origin refs/heads/*:refs/heads/*",
                         env=ssh_env)
-                    git_command(repo_path, 'push --tags', env=ssh_env)
+                    git_command(repo_path, 'push origin --tags', env=ssh_env)
                 except Exception:
                     log.exception(
                         "Error pushing %s to Gerrit." % project)