Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
It's not totally clear how GH selects the right event, but I think we need pull_request to be part of the `on` for the event_name to trigger.
- Loading branch information