Learn more about these different git repos.
Other Git URLs
Hello, I am looking at pagure features and think than can be good to provide a way to easily configure a hook to keep a github mirror of a repo hosted in pagure.
I was looking in docs and do no find to much info about it.
There is a more generalized issue here about this and @pingou has done some work here
As pointed out, this is a duplicate of #537 so closing this one as such.
Thanks for the report though :)
@pingou changed the status to Duplicate
Duplicate
Login to comment on this ticket.