On Tue, 2007-06-12 at 16:22 -0500, Michael E Brown wrote: > On Tue, Jun 12, 2007 at 03:47:22PM -0400, Jesse Keating wrote: > > On Tuesday 12 June 2007 15:35:43 Michael E Brown wrote: > > > We will implement the above after signoff by Clark Williams and Jesse > > > Keating. > > > > I sign off on the policy, and apologize for the duplicate -jesse branches. > > Jesse, > Need help implementing the git branch cleanup. It appears that there > is no way to delete a branch on a server from a client repo. > > Can you delete the following branches from within the master git > repo? > > mock -- TO BE REMOVED (mistake) > mock-0-6-jesse -- TO BE REMOVED (per policy) > mock-0.6.0-jesse -- TO BE REMOVED (per policy) > origin -- TO BE REMOVED (mistake) (probably need to be > careful deleting that one. /refs/heads/orgin is > probably how you are supposed to do it.)
Do you really need to delete that one? Origin is a very common HEAD for git to have. > Additionally, we need to rename this branch: > > origin/mock-0.7 -- rename to mock-experimental-launcher git branch mock-experimental-launcher mock-0.7 git branch -D mock-0.7 josh -- Fedora-buildsys-list mailing list [email protected] https://www.redhat.com/mailman/listinfo/fedora-buildsys-list
