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. Tom -- Tom Hughes (t...@compton.nu) http://compton.nu/ _______________________________________________ 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
