Fix bug when updating a pull request

2019-11-10 16:56:55 +09:00
parent 3c86e9a421
commit 006313b45a
5 changed files with 12 additions and 12 deletions
--- a/dist/src/create-pull-request.py
+++ b/dist/src/create-pull-request.py
@ -120,7 +120,7 @@ def process_event(github_token, github_repository, repo, branch, base):
            pull_request = github_repo.get_pulls(
                state='open', 
                base=base,
-                head=branch)[1]
+                head=branch)[0]
            print("Updated pull request #%d (%s => %s)" %
                (pull_request.number, branch, base))
        else: