actions/create-pull-request
1
0
Fork 0
mirror of https://forgejo.stefka.eu/jiriks74/create-pull-request.git synced 2025-01-18 16:01:06 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

Fix bug with filtering pull requests

Browse source
This commit is contained in:
Peter Evans 2019-11-10 18:14:10 +09:00
parent 006313b45a
commit 731211fd81
5 changed files with 18 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/create-pull-request.py
View file

@ -117,10 +117,13 @@ def process_event(github_token, github_repository, repo, branch, base):
(pull_request.number, branch, base))
except GithubException as e:
if e.status == 422:
# Format the branch name
head_branch = "%s:%s" % (github_repository.split("/")[0], branch)
# Get the pull request
pull_request = github_repo.get_pulls(
state='open',
base=base,
head=branch)[0]
head=head_branch)[0]
print("Updated pull request #%d (%s => %s)" %
(pull_request.number, branch, base))
else: