Hi Richard, On Mon, 6 May 2019 22:45:10 +0200 (CEST) Richard Weinberger wrote: > > What is the suggest approach to fix that? > Rebase and force-push? It's probably not worth it, just remember for next time. -- Cheers, Stephen Rothwell