W dniu 21.02.2024 o 2:49 AM, Nate DeSimone pisze:
I would like to remind everyone that we generally don't accept submissions via PRs yet. At the very least please click "Rebase and merge" when closing the PR instead of "Merge pull request". Since that merge commit is currently at the top of the tree, can we delete it?
You can configure repository on github to not have merge commits on PR merge. Settings allow to choose and you can leave 'allow rebase merging' as the only option.
Pull requests functionality cannot be disabled but there are pages describing how to reply and close/reject automatically.
-=-=-=-=-=-=-=-=-=-=-=- Groups.io Links: You receive all messages sent to this group. View/Reply Online (#115720): https://edk2.groups.io/g/devel/message/115720 Mute This Topic: https://groups.io/mt/104481195/21656 Group Owner: devel+ow...@edk2.groups.io Unsubscribe: https://edk2.groups.io/g/devel/unsub [arch...@mail-archive.com] -=-=-=-=-=-=-=-=-=-=-=-
