Explicit push location to ignore user git config (#264)

abadger · Mariatta · commit c8351ddc2e4a · 2018-06-18T14:34:43.000-07:00
Users can configure what strategy "git push" uses to determine which
remote branch it should push to.  Cherry-picker doesn't work with all of
the git push strategies but we can make explicit what the remote branch
should be which works around that problem.
diff --git a/cherry_picker/cherry_picker.py b/cherry_picker/cherry_picker.py
@@ -202,7 +202,7 @@ def amend_commit_message(self, cherry_pick_branch):
     def push_to_remote(self, base_branch, head_branch, commit_message=""):
         """ git push <origin> <branchname> """
 
-        cmd = ['git', 'push', self.pr_remote, head_branch]
+        cmd = ['git', 'push', self.pr_remote, f'{head_branch}:{head_branch}']
         try:
             self.run_cmd(cmd)
         except subprocess.CalledProcessError:
