diff options
Diffstat (limited to 'bin/clean-github-pr.py')
| -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) |