Re: help with git

[Johannes Schindelin]

Hi,

On Mon, 18 Dec 2006, Joe Neeman wrote:

> I have a jneeman branch on savannah that has some old changes I don't
> particularly want to keep.

Can you delete it with

        $ git push jneem :/refs/heads/jneeman

or does it still say something about non-fast-forwarding?

This is a recent addition to git, and I don't know how up-to-date 
savannah's git is.

Hth,
Dscho