git branch audit ...

[Jan Holesovsky]

Hi,

On 2012-07-18 at 22:01 +0200, Fridrich Strba wrote:

> I cherry-picked all from feature/crossmsi today, so the branch can
> happily die. The same happy fate for feature/mspub which is merged.

Picking this for the replay, but applies to everybody who knows of a
obsolete branch.  Just do

git push origin :feature/mspub

[for example - I've already killed feature/crossmsi to check I am not
lying], and it will vanish from the server.  Just note that git might
throw some funny warnings at you, like:

----- 8< -----
error: unable to find 0000000000000000000000000000000000000000
fatal: git-cat-file 0000000000000000000000000000000000000000: bad file
fatal: ambiguous argument '': unknown revision or path not in the
working tree.
Use '--' to separate paths from revisions
fatal: bad object 0000000000000000000000000000000000000000
fatal: bad object 0000000000000000000000000000000000000000
To ssh://kendy@git.freedesktop.org/git/libreoffice/core
 - [deleted]         feature/crossmsi
----- 8< -----

But the last line is the important one here.

Regards,
Kendy