Hi Christian, On Mon, 9 Sep 2024 14:37:50 +0200 Christian Brauner <brauner@xxxxxxxxxx> wrote: > > Incidentally, is there a simple command to detect duplicate commits? Have a look at "git cherry" -- Cheers, Stephen Rothwell
Attachment:
pgpKwNlwWYleV.pgp
Description: OpenPGP digital signature
