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
-=-=-=-=-=-=-=-=-=-=-=-
Groups.io Links: You receive all messages sent to this group.
View/Reply Online (#58958): https://edk2.groups.io/g/devel/message/58958
Mute This Topic: https://groups.io/mt/74089163/21656
Group Owner: devel+ow...@edk2.groups.io
Unsubscribe: https://edk2.groups.io/g/devel/unsub [arch...@mail-archive.com]
-=-=-=-=-=-=-=-=-=-=-=-
