Remove dist-git branches

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> </pre>
    

Verification

To verify just list the branches.

git branch

Consider Before Running

Make sure that the branch in question isn’t one of our pre-created branches f??/master, olpc?/master, el?/master