Learn more about these different git repos.
Other Git URLs
Pagure triggers CI (Jenkins URL). But Pagure doesn't check if refs/pull/XXX/head is present. Under heavy pagure load it could be on Jenkins side:
refs/pull/XXX/head
git fetch origin refs/pull/163/head:refs/remotes/origin/pr/163 fatal: Couldn't find remote ref refs/pull/163/head
Metadata Update from @wombelix: - Issue set to the milestone: 5.13
The issue was reported 6 years ago and as far I can see not reported again since then. The underlying code changed a lot and it's not clear if the problem still exist. Closing the issue for now.
Metadata Update from @wombelix: - Issue close_status updated to: Insufficient data - Issue status updated to: Closed (was: Open)
Login to comment on this ticket.