On Mon, Aug 01, 2022 at 06:18:53PM +0200, Jean-Pierre Chrétien wrote: > >>$ git log > >>commit 4c72d8aeac01c53e27732999108f249356e67c5c (HEAD -> master, origin/master, > >>origin/HEAD) ... > What bugs me is the (HEAD -> master, origin/master, origin/HEAD) part, > which is not present usually. It is present for me all the time. Pavel