Learn more about these different git repos.
Other Git URLs
I merged an infra-docs pull request using the git client on my dev box, and when I pushed to the master branch I saw a traceback:
$ git push remote: Sending to redis to log activity and send commit notification emails remote: Traceback (most recent call last): remote: File "./hooks/post-receive.rtd", line 81, in <module> remote: main(sys.argv[1:]) remote: File "./hooks/post-receive.rtd", line 77, in main remote: run_as_post_receive_hook() remote: File "./hooks/post-receive.rtd", line 46, in run_as_post_receive_hook remote: for branch in repo.rtd_hook.branches.split(',') remote: AttributeError: 'Project' object has no attribute 'rtd_hook' remote: Hook ./hooks/post-receive.rtd failed with error code 1 To ssh://pagure.io/infra-docs.git 6c46bdd..810c2d8 master -> master
Does this still occur?
Metadata Update from @pingou: - Issue tagged with: bug
I've not tried to merge a PR since then, so I am not sure.
Yup, I just merged a PR via the CLI.
@jcline sorry, is the "Yup" referring to it still occurs or that it's good now?
It still occurs reported in #2531
PR #2981 is fixing this :)
Metadata Update from @cverna: - Issue close_status updated to: Fixed - Issue status updated to: Closed (was: Open)
Metadata Update from @cverna: - Issue assigned to cverna
Login to comment on this ticket.