From: Junio C Hamano <gitster@pobox.com>
Date: Tue, 27 May 2014 22:00:10 GMT
Subject: Re: [PATCH] contrib: add convert-grafts-to-replace-refs.sh
Message-ID: <xmqqwqd6evbp.fsf@gitster.dls.corp.google.com>
In-Reply-To: <CAPig+cR4G916TwqGDRMr9fAH=SZkUB8kqGy3Hy5YBHZLgUw8ig@mail.gmail.com>

Eric Sunshine <sunshine@sunshineco.com> writes:

>> +echo "Success! All the grafts in '$GRAFTS_FILE' have been converted to replace refs!"
>> +echo "You should now move away or delete the grafts file: '$GRAFTS_FILE'"
>
> Rather than merely giving advice, would it make sees for the script
> rename the file (adding .bak or some such) and report that it did so?

Yeah, I would say so.