git and branches
Cyrille Berger Skott
cberger at cberger.net
Thu Dec 16 06:57:07 GMT 2010
On Wednesday 15 December 2010, James Hogan wrote:
> Sorry if this isn't what you meant, but FYI you can usually delete a
> branch from a remote git repo by prefixing it with a colon in the push
> command:
> git push origin :branch_name
Thanks, but what I mostly meant is that this right is restricted to admins.
--
Cyrille Berger Skott
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.kde.org/pipermail/calligra-devel/attachments/20101216/c834f481/attachment.htm>
More information about the calligra-devel
mailing list