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

Fix missing colon

Browse source
This commit is contained in:
Peter Evans 2019-09-10 17:58:01 +09:00
parent 4efcea62da
commit 7980880191
1 changed files with 1 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
create-pull-request.py
View file

@ -18,7 +18,6 @@ def ignore_event(github_event):
if 'schedule' in github_event: if 'schedule' in github_event:
print("Allow schedule event.") print("Allow schedule event.")
return False return False
# Ignore push events on deleted branches # Ignore push events on deleted branches
# The event we want to ignore occurs when a PR is created but the repository owner decides # 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 # not to commit the changes. They close the PR and delete the branch. This creates a
@ -46,7 +45,7 @@ def get_head_author(github_event):
if 'schedule' in github_event: if 'schedule' in github_event:
email=os.environ['GITHUB_ACTOR'] email=os.environ['GITHUB_ACTOR']
name=os.environ['GITHUB_ACTOR'] + '@users.noreply.github.com' name=os.environ['GITHUB_ACTOR'] + '@users.noreply.github.com'
else else:
email = "{head_commit[author][email]}".format(**github_event) email = "{head_commit[author][email]}".format(**github_event)
name = "{head_commit[author][name]}".format(**github_event) name = "{head_commit[author][name]}".format(**github_event)
return email, name return email, name