Learn more about these different git repos.
Other Git URLs
rawhide
Metadata Update from @phsmoura: - Issue tagged with: low-gain, low-trouble, ops
Sorry, we can't delete commits... that would break the repo for everyone who has a checkout, cause confusion (since commit emails went out) and just not be good. ;(
We can delete branches that don't have commits used for builds, but we can't do commits on main branches. Sorry.
Metadata Update from @kevin: - Issue close_status updated to: Can't Fix - Issue status updated to: Closed (was: Open)
Login to comment on this ticket.