Hello. We have this PR: https://src.fedoraproject.org/tests/python/pull-request/14
The repo is set as pull request only.
We cannot merge the PR (neither me nor @pviktori) - I am a provenpackager and we both are listed as admins in that repo.
The error is:
Your task failed: Remote hook declined the push: A pull request is required for this branch Denied push for ref 'refs/heads/master' for user 'churchyard' All changes have been rejected
Getting a "A pull request is required" error when trying to merge a pull request sounds like a bug.
We are due to upgrade pagure on dist-git to 5.8 tomorrow, let's see if that changes something then.
Sorry for the inconvenience
Let me know if I can temporarily disable the "PR only" option and try to merge. When I do, we loose the reproducer (assuming it helps).
@churchyard can it wait for tomorrow or do you want it sooner?
It can wait for tomorrow, the CI is broken on rawhide anyway for a week now.
Metadata Update from @smooge: - Issue tagged with: src.fp.o
src.fp.o says Powered by Pagure 5.8. It also shows the monitoring settings, so I assume it has been deployed. Correct?
The problem remains. Let me know whether to still hold the PR or proceed with temporarily disabling the "PR only" option.
@churchyard could you try once more (we were in the middle of the deployment when you tried last :))
I can reproduce this on vanilla pagure. upstream issue: https://pagure.io/pagure/issue/4667
Ok so let's close this ticket in favor of the upstream one.
Metadata Update from @pingou: - Issue close_status updated to: Upstream - Issue status updated to: Closed (was: Open)
Login to comment on this ticket.