On Fri, 27 Aug 2021 at 15:42, Gerd Hoffmann <kra...@redhat.com> wrote: > > On Fri, Aug 27, 2021 at 11:35:42AM +0000, Yao, Jiewen wrote: > > I am sorry, I mess up https://github.com/tianocore/edk2/pull/1917, please > > ignore that. > > > > This pull request is re-created at > > https://github.com/tianocore/edk2/pull/1918. > > > > Please take a look at 1918. > > Is there some way to run the CI before posting the patches? > > I could probably create a dummy pull request for that and delete it when > the CI is done. That'll probably make gitlab send out a bunch of > annoying notifications though ... >
FYI this is actually a supported and recommended way of doing things: any user can send PRs and the CI will run on them. Only maintainers can do so and set the 'pull' label, in which case the PR will get merged if all CI checks pass. > > > > > > -=-=-=-=-=-=-=-=-=-=-=- Groups.io Links: You receive all messages sent to this group. View/Reply Online (#79907): https://edk2.groups.io/g/devel/message/79907 Mute This Topic: https://groups.io/mt/84991746/21656 Group Owner: devel+ow...@edk2.groups.io Unsubscribe: https://edk2.groups.io/g/devel/unsub [arch...@mail-archive.com] -=-=-=-=-=-=-=-=-=-=-=-
