diff --git a/create-pull-request.py b/create-pull-request.py index dc300a1..2fe558b 100755 --- a/create-pull-request.py +++ b/create-pull-request.py @@ -18,7 +18,6 @@ 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 @@ -46,7 +45,7 @@ def get_head_author(github_event): if 'schedule' in github_event: email=os.environ['GITHUB_ACTOR'] name=os.environ['GITHUB_ACTOR'] + '@users.noreply.github.com' - else + else: email = "{head_commit[author][email]}".format(**github_event) name = "{head_commit[author][name]}".format(**github_event) return email, name