mohanboddu added a new comment to an issue you are following:
``
Unfortunately we do not allow deleting any branches from dist-git since we cannot
guarantee that nobody made a build from any branch. Sorry about it.
Closing the ticket as we cant fix it.
``
To reply, visit the link below or just reply to this email
https://pagure.io/releng/issue/7089