Learn more about these different git repos.
Other Git URLs
The best solution would be to rebuild the repo one last time if possible. This should give an empty repo, which would then be synced to all the mirrors. If that is not possible, then we need to archive the repo and remove it from the mirror list.
Metadata Update from @zlopez: - Issue tagged with: epel, medium-gain, medium-trouble, ops
Was discussed in todays meeting @humaton and @kevin will fix this
I moved the old playground repo from pub/epel/playground to pub/archive/epel/playground.
Let us know if there's anything further to do with it.
Metadata Update from @kevin: - Issue close_status updated to: Fixed - Issue status updated to: Closed (was: Open)
Login to comment on this ticket.