On Thu, Mar 17, 2016 at 01:55:08PM +0100, Jiří Činčura wrote:
> > git push :branchname
>
> Which is changed for couple of year already.
> `git push <remote> --delete <branch>`
More precisely, the latter was added as a nicer alias for the former. As
git-push(1) says:
--delete
All listed refs are deleted from the remote repository. This is the
same as prefixing all refs with a colon.
Michal Kubecek
------------------------------------------------------------------------------
Transform Data into Opportunity.
Accelerate data analysis in your applications with
Intel Data Analytics Acceleration Library.
Click to learn more.
http://pubads.g.doubleclick.net/gampad/clk?id=278785231&iu=/4140
Firebird-Devel mailing list, web interface at
https://lists.sourceforge.net/lists/listinfo/firebird-devel
