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