Learn more about these different git repos.
Other Git URLs
This doesn't seem obvious to me this morning
Does https://pagure.io/pagure/pull-request/1853 satisfy you?
I think the documentation in #1853 is great and I added a comment.
However, that documentation does not address this issue. As a maintainer, what is the recommended workflow for me to pull a PR for local testing. In other systems, I add a refs line and can pull a PR as a branch. How do I do that in Pagure.
Ah I see, I miss-understood a little bit the concern.
So there are two ways to go about this:
wget https://pagure.io/<project>/pull-request/<id>.patch && git am <id>.patch
git remote add <user> <url> && git fetch <user> && git checkout <branch>
There is a ticket for adding refs to pull-request (cf #443 ) but while it's being thought about it hasn't been done yet :)
I took a stab at this in https://pagure.io/pagure/pull-request/1876 and would greatly appreciate feedback
Looks like #1876 was merged, and that doc seems to even have been updated for the new PR refs (#443).|
https://docs.pagure.org/pagure/usage/pull_requests.html#working-with-pull-requests
I wonder if that is sufficient?
Let's assume it is and re-open if it is not.
Thanks for pointing it out @mikem !
Metadata Update from @pingou: - Issue close_status updated to: Fixed - Issue status updated to: Closed (was: Open)
Log in to comment on this ticket.