Learn more about these different git repos.
Other Git URLs
When mirroring a repo to another location we go through all the refs and try to push them, we should skip all the refs/pull/<id>/head once since I don't think there will ever be a host that will support pushing to these refs (it might even just be blocked by git itself).
refs/pull/<id>/head
Since we're working on the repository directly and since we're using --mirror we can't quite exclude some refs from the push (which makes sense).
--mirror
I guess this makes this ticket (which is itself more cosmetic than critical) invalid, closing as such.
invalid
Metadata Update from @pingou: - Issue close_status updated to: Invalid - Issue status updated to: Closed (was: Open)
Login to comment on this ticket.