diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2016-03-16 17:54:35 -0700 |
---|---|---|
committer | Sean Whitton <spwhitton@spwhitton.name> | 2016-03-16 17:54:35 -0700 |
commit | 55921b92c4b5ad18ec8bbe5e342572bd71eddb06 (patch) | |
tree | ccfb0f2066fa6a2022d17efe1fb71896613b8d4b | |
parent | d01458bd7894fb585d2b025ed87ee64d9c20ce2e (diff) | |
download | dotfiles-55921b92c4b5ad18ec8bbe5e342572bd71eddb06.tar.gz |
force push github branch for PRs
-rwxr-xr-x | bin/clean-github-pr.py | 2 |
1 files changed, 1 insertions, 1 deletions
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) |