Re: [PATCH 1/2] git clone: check for non-empty directory
- From
Eric Sunshine <sunshine@sunshineco.com>
- Date
- Jul 1, 2020, 17:40 UTC
- Message-ID
- <CAPig+cRj6p4tdDhQOeoXpoqp+Wb94rKaVim-Yddj_Gz13phQpg@mail.gmail.com>
- In-Reply-To
- <CAPig+cT+cXuM3Asu6+Z25pGV2uRm6K1iAeYVhic9kqk1mS84-g@mail.gmail.com>
On Wed, Jul 1, 2020 at 12:00 PM Eric Sunshine <sunshine@sunshineco.com> wrote:
> [...] For instance, we might do this: > rm -rf dst && > echo foo=bar >realgitdir/config &&
I meant to use '>>' here, not '>'.