Re: [RFC/PATCH 3/3] push: add 'prune' option
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Feb 22, 2012, 23:54 UTC
- 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.