I'm having problems merging https://github.com/tianocore/edk2/pull/5774
- Mergify reports:
The merge queue pull request can't be updated
Details:
Pull request can't be updated with latest base branch changes
Mergify needs the author permission to update the base branch of the
pull request.
@Beckhoff <https://github.com/Beckhoff> needs to authorize
modification on its head branch
<https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/working-with-forks/allowing-changes-to-a-pull-request-branch-created-from-a-fork>.
It looks like we need to require users creating PRs to enable the "Allow
edits from maintainers" settin*g?*
*
*
*--
Rebecca Cran
*
-=-=-=-=-=-=-=-=-=-=-=-
Groups.io Links: You receive all messages sent to this group.
View/Reply Online (#119593): https://edk2.groups.io/g/devel/message/119593
Mute This Topic: https://groups.io/mt/106723083/21656
Group Owner: devel+ow...@edk2.groups.io
Unsubscribe: https://edk2.groups.io/g/devel/unsub [arch...@mail-archive.com]
-=-=-=-=-=-=-=-=-=-=-=-
