On Tue, 2020-07-21 at 12:25 +0100, Tom Hughes via devel wrote: > On 21/07/2020 11:56, Mark Wielaard wrote: > > > Do you have to handle them on that pagure website? Is it possible > > to > > handle these pull-request through email? Or is there a normal (git) > > command line interface for these? > > Pagure supports the same pull heads are things like github Never having used github, that doesn't immediately help me. > so yes you can just fetch them and merge them in your local > fepdkg checkout if you want. > > I normally just edit .git/config and add to the origin remote > an extra fetch: > > fetch = +refs/pull/*/head:refs/remotes/origin/pull/* > > then after fetching you can merge origin/pull/NNN. But this is very helpful! Thanks. So with that I can easily do checks, adjustments, create my own commits, do cherry-picks or merges, etc. But how does it interact with the website? How do I sent comments? I see it comes with a mini-CI koji run, does it add a tag to the commit as tested when it succeeds/fails? How do I indicate which changes I made/pushed or which changes I would like the submitter to make? How do I discard a pull if I determine it isn't useful? etc. And if I wish to create a pagure pull request myself, do I simply push to pull/NNN? How do I determine which NNN to use? Thanks, Mark _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/devel@xxxxxxxxxxxxxxxxxxxxxxx
