From: Jeff King Date: Mon, 17 May 2021 11:40:04 GMT Subject: Re: [PATCH v2 3/5] doc: remove unnecessary rm instances Message-ID: In-Reply-To: <60a24897afda0_126a0520834@natae.notmuch> On Mon, May 17, 2021 at 05:42:31AM -0500, Felipe Contreras wrote: > > I.e., I was suggesting to get rid of the "rm" call in the hunk I showed > > above, but leave the "mv" for the follow-on patch. > > Ahh, I see. It's quite a bit more work, but sure, I can do that. If it's a lot more work, I can live with the split as you have here. I didn't think it would be a lot, though. -Peff