On 10/29/19 20:54, Michael D Kinney wrote: > Active branch for testing/evaluation: > * https://github.com/tianocore/edk2-staging/tree/edk2-ci > * To test, fork edk2-staging repo, create a branch with a change, and submit > a pull request targeting edk2-staging/edk2-ci. NOTE: the default branch for > the edk2-staging is 'about'. You must select the 'edk2-ci' branch when > a pull request is opened. Set the 'push' label to require commit if all > checks pass.
The edk2-staging repository has been added as a "git remote" to my local edk2 clone for a long while now. Using the local identifier "staging". (This makes perfect sense as edk2-staging is itself a fork of edk2, with branches that are supposed to be rebased to edk2/master periodically.) Furthermore, the identifier by which I refer to the remote at <https://github.com/lersek/edk2.git> is "lersek". I've now run the following commands: $ git fetch staging $ git checkout -b ci-test-1 staging/edk2-ci [modify "SampleFile.txt"] $ git add -p $ git commit $ git push lersek ci-test-1 Questions: (a) How can I submit a pull request for the staging repo's edk2-ci branch using the command line (and set the "push" label)? (b) How can I submit a PR for the staging repo's edk2-ci branch (regardless of command line vs. WebUI usage) against my <https://github.com/lersek/edk2.git> repository? When I go to the WebUI, the PR view does not offer "tianocore/edk2-staging" as "base repository", it only offers "tianocore/edk2". I thought I'd be able to pick any destination repository at all. By the instruction "fork edk2-staging repo", did you mean we should fork edk2-staging *on github*? (Using the WebUI?) Thanks! Laszlo -=-=-=-=-=-=-=-=-=-=-=- Groups.io Links: You receive all messages sent to this group. View/Reply Online (#49744): https://edk2.groups.io/g/devel/message/49744 Mute This Topic: https://groups.io/mt/39614149/21656 Group Owner: devel+ow...@edk2.groups.io Unsubscribe: https://edk2.groups.io/g/devel/unsub [arch...@mail-archive.com] -=-=-=-=-=-=-=-=-=-=-=-
