From: Junio C Hamano Date: Thu, 24 Jan 2019 23:02:33 GMT Subject: Re: [PATCH v3 7/8] checkout: introduce --{,no-}overlay option Message-ID: In-Reply-To: <20190124011244.GE34357@google.com> Jonathan Nieder writes: > I find --ignore-removal fairly easy to understand, and I had no idea > what --overlay would mean. > > I realize this is just one user's experience. Exactly. My impression was the exact opposite from yours. The phrase "removal" in the context of checkout does not click for me at all, and neither it does in the context of add, especially given that Git tracks states (i.e. snapshots), not changes.