Describe what you need us to do: I've accidentally pushed a "private" branch to https://src.fedoraproject.org/rpms/mkdocs/branch/bootstrap please remove it. I'm sorry.
When do you need this? Whenever you are able.
When is this no longer needed or useful? Once git is no longer used in Fedora or the Sun explodes and consumes the Earth (whatever comes first).
If we cannot complete your request, what is the impact? A weird extra branch.
By policy we don't remove branches. ;( We do not have any way to tell if any official builds were made from them, so we just leave them all alone unless there's a legal reason.
Sorry. :person_frowning:
Metadata Update from @kevin: - Issue close_status updated to: Will Not/Can Not fix - Issue status updated to: Closed (was: Open)
Login to comment on this ticket.