From 55921b92c4b5ad18ec8bbe5e342572bd71eddb06 Mon Sep 17 00:00:00 2001 From: Sean Whitton Date: Wed, 16 Mar 2016 17:54:35 -0700 Subject: force push github branch for PRs --- bin/clean-github-pr.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bin/clean-github-pr.py b/bin/clean-github-pr.py index 15cf9bac..68aebdcc 100755 --- a/bin/clean-github-pr.py +++ b/bin/clean-github-pr.py @@ -78,7 +78,7 @@ def main(): f.write("This repository is just a fork made in order to submit a pull request; please ignore.") subprocess.call(["git", "add", "README.md"]) subprocess.call(["git", "commit", "-m", "fork for a pull request; please ignore"]) - subprocess.call(["git", "push", "origin", "github"]) + subprocess.call(["git", "push", "origin", "+github"]) os.chdir(user_work_dir) shutil.rmtree(work_area) -- cgit v1.2.3