On Tue, Jun 12, 2007 at 04:39:31PM -0500, Josh Boyer wrote:
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.
Yes, but this is origin/origin. ie. a mistake. I stripped off the
origin/ path from the list above. (None of my other
projects have a origin/origin branch, but I could still be mistaken)
> 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
Ok, cool. thanks.
Jesse, can you run the renames above as suggested by Josh.
--
Michael