[ImageJ-devel] [fiji-devel] Re: Merging of some branches into master!

Johannes Schindelin Johannes.Schindelin at gmx.de
Thu May 10 12:16:16 CDT 2012

Hi Tobias,

On Thu, 10 May 2012, Tobias Pietzsch wrote:

> concerning "my" branches, here is what should happen to them.
> These should be deleted:

Please do so, using

	git push <remote> :<branch1> :<branch2> [...]


More information about the ImageJ-devel mailing list