On Thu, Dec 12, 2019 at 12:10:35PM +0000, Matt Caswell wrote: > > But in principle I agree that addrev could be used to do this. It's not > quite as robust as doing it in the commit hook - because you don't > *have* to use addrev. But, AFAIK, everyone does - so that's probably > good enough. I have never used addrev. Kurt