jiriks74/create-pull-request
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Fix scheduled events issue

Browse source
This commit is contained in:
Stefan Buck 2019-09-10 09:14:39 +02:00
parent facb42d776
commit 580fc69c02
1 changed files with 10 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
create-pull-request.py
View file

@ -15,6 +15,10 @@ def get_github_event(github_event_path):
def ignore_event(github_event):
if 'schedule' in github_event:
print("Allow schedule event.")
return False
# Ignore push events on deleted branches
# The event we want to ignore occurs when a PR is created but the repository owner decides
# not to commit the changes. They close the PR and delete the branch. This creates a
@ -39,8 +43,12 @@ def pr_branch_exists(repo, branch):
def get_head_author(github_event):
email = "{head_commit[author][email]}".format(**github_event)
name = "{head_commit[author][name]}".format(**github_event)
if 'schedule' in github_event:
email=os.environ['GITHUB_ACTOR']
name=os.environ['GITHUB_ACTOR'] + '@users.noreply.github.com'
else
email = "{head_commit[author][email]}".format(**github_event)
name = "{head_commit[author][name]}".format(**github_event)
return email, name