Merge pull request #41 from ScriptAutomate/master

Add skip_ignore arg to ignore_event function
This commit is contained in:
Peter Evans 2019-09-24 19:21:12 +09:00 committed by GitHub
commit e543bbd98a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 6 additions and 4 deletions

View file

@ -34,6 +34,7 @@ These variables are all optional. If not set, a default value will be used.
- `COMMIT_MESSAGE` - The message to use when committing changes.
- `PULL_REQUEST_TITLE` - The title of the pull request.
- `PULL_REQUEST_BODY` - The body of the pull request.
- `SKIP_IGNORE` - If present, the `ignore_event` function will not run
#### Branch naming
@ -52,7 +53,7 @@ If there are files or directories you want to ignore you can simply add them to
## Example
Here is an example that sets all the environment variables.
Here is an example that sets all the environment variables (except `SKIP_IGNORE`).
```yml
- name: Create Pull Request

View file

@ -15,8 +15,8 @@ def get_github_event(github_event_path):
return github_event
def ignore_event(event_name, event_data):
if event_name == "push":
def ignore_event(event_name, event_data, skip_ignore):
if event_name == "push" and not skip_ignore:
# 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
@ -122,7 +122,8 @@ def process_event(event_name, event_data, repo, branch, base):
event_name = os.environ['GITHUB_EVENT_NAME']
event_data = get_github_event(os.environ['GITHUB_EVENT_PATH'])
# Check if this event should be ignored
if not ignore_event(event_name, event_data):
skip_ignore_event = bool(os.environ.get('SKIP_IGNORE'))
if not ignore_event(event_name, event_data, skip_ignore_event):
# Set the repo to the working directory
repo = Repo(os.getcwd())