[U-Boot-Users] [GIT]delete remote branch issue

Wolfgang Denk wd at denx.de
Thu Mar 22 23:53:45 CET 2007

In message <27d85ee10703220912o27534ddx4e84d793deb85fff at mail.gmail.com> you wrote:
> And I got the following info from git v1.5.0 release notes
> - git-push can now be used to delete a remote branch or a tag.
>   This requires the updated git on the remote side (use "git
>   push <remote> :refs/heads/<branch>" to delete "branch").

Ah, using bleading edge stuff again ;-)

> What did I miss or the git on the server need to be updated?

We're running git version on our server.

Best regards,

Wolfgang Denk

DENX Software Engineering GmbH, HRB 165235 Munich, CEO: Wolfgang Denk
Office:  Kirchenstr. 5,       D-82194 Groebenzell,            Germany
Phone: (+49)-8142-66989-10 Fax: (+49)-8142-66989-80 Email: wd at denx.de
Everyting looks interesting until you do it. Then you find it's  just
another job.                     - Terry Pratchett, _Moving Pictures_

More information about the U-Boot mailing list