From: Junio C Hamano <gitster@pobox.com>
Date: Wed, 22 Feb 2012 23:54:37 GMT
Subject: Re: [RFC/PATCH 3/3] push: add 'prune' option
Message-ID: <7vaa4a8lvm.fsf@alter.siamese.dyndns.org>
In-Reply-To: <CAMP44s0DnVfd_Ged5rnhM4BF1jEtm4jzyq9sJAoEtQ-0CM5_aA@mail.gmail.com>

Felipe Contreras <felipe.contreras@gmail.com> writes:

> ... Of course, using --prune
> --mirror is the same as --mirror.

Sounds good.  Thanks.