#5743: Please remove private branch graphviz/private-rawhide-2.32 ------------------------------+----------------------- Reporter: jskarvad | Owner: rel-eng@… Type: task | Status: new Milestone: Fedora 20 Alpha | Component: git Resolution: | Keywords: Blocked By: | Blocking: ------------------------------+-----------------------
Comment (by nb):
We do not normally allow deleting branches because that branch could have been built from, however, it appears that nothing has been built from that branch, so I have deleted it.
{{{ [nb@pkgs01 graphviz]$ git push origin --delete private-rawhide-2.32 To /srv/git/rpms/graphviz.git/ - [deleted] private-rawhide-2.32
}}}