From Fedora Project Wiki
Description
Release Engineering is often asked by maintainers to remove branches in dist-git by maintainers.
Action
1. Log into pkgs.fedoraproject.org
ssh <fas-username>@pkgs.fedoraproject.org
2. Change to the package's directory
cd /srv/git/rpms/<package>.git/
3. Remove the branch
git branch -D <branchname>
Verification
- FIXME--anything to add here?
Consider Before Running
- FIXME--anything to add here?