Learn more about these different git repos.
Other Git URLs
Describe the issue While working on a PR, I mistakenly pushed these branches to the src.fp.o main repo instead of my fork, and now I can't delete it. These branches were never used for creating build.
When do you need this? (YYYY/MM/DD) Whenever convenient
When is this no longer needed or useful? (YYYY/MM/DD) NA
If we cannot complete your request, what is the impact? Extra stray branches remain, but should't cause any issues.
Metadata Update from @phsmoura: - Issue tagged with: low-gain, low-trouble, ops
Removed.
Metadata Update from @humaton: - Issue close_status updated to: Fixed - Issue status updated to: Closed (was: Open)
Login to comment on this ticket.