What is the name of the action attribute in a `pull_reuqest` event when a new commit is added to the pull request or someone force pushes to the head branch of the pull request? Is it `edited` or `synchronize` or something else? ... View more

I noticed that the check_suite event that GitHub apps can subscribe to is only triggered for new code push to the repo the app is installed on. The event is not created when another user creates a fork to submit a patch to your repo.   Here is an example, where this happend: https://github.com/jazzband/pip-tools/pull/784#issuecomment-480476249   Everything is setup following this guide: https://developer.github.com/apps/quickstart-guides/creating-ci-tests-with-the-checks-api/   I think it't a stretch to say, that you want your CI to run for contributions from other users too.   How do I make this work for all pull requests no matter the origin, or better, can we please just sent the check_suite event for all pull requests? ... View more