On Tue, Jul 21, 2020 at 12:25 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 > 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. >
Also if your project is configured to use Zuul[0], then you can set the `gateit` tag to get the PR merged by CI. [0]: https://fedoraproject.org/wiki/Zuul-based-ci -Tristan
signature.asc
Description: PGP signature
_______________________________________________ devel mailing list -- devel@lists.fedoraproject.org To unsubscribe send an email to devel-le...@lists.fedoraproject.org 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@lists.fedoraproject.org
