On 5/8/20 8:59 PM, Michael D Kinney wrote:

* Perform final review of patches and commit message tags. If there are not
issues, set the `push` label to run final set of CI checks and auto merge
the pull request into master.

What's the difference between the CI that runs when a user submits the Pull Request, and the final CI checks that run before the request is merged?

Also, I'm wondering why Mergify is being used instead of the maintainer hitting the "Merge Pull Request" button, or however it's worded?


--
Rebecca Cran