Push pending tag and synthesized commit in a single git push operation.

infra/libs/git2/ref.py

Index: infra/libs/git2/ref.py
diff --git a/infra/libs/git2/ref.py b/infra/libs/git2/ref.py
index 2c83ab96913a5f3e3e6099bc840a852d9f921d2e..680c1ddd06a1c590a4aca58d2697b429bb9e32da 100644
--- a/infra/libs/git2/ref.py
+++ b/infra/libs/git2/ref.py
@@ -53,12 +53,6 @@ class Ref(object):
     for hsh in self.repo.run('rev-list', '--reverse', arg).splitlines():
       yield self.repo.get_commit(hsh)
 
-  def fast_forward_push(self, commit):
-    """Push |commit| to this ref on the remote, and update the local copy of the
-    ref to |commit|."""
-    self.repo.run('push', 'origin', '%s:%s' % (commit.hsh, self.ref))
-    self.update_to(commit)
-
   def update_to(self, commit):
     """Update the local copy of the ref to |commit|."""
     self.repo.run('update-ref', self.ref, commit.hsh)