Le 23/10/2024 à 16:29, Kornel Benko a écrit : > How about 'push' together with 'commit'? Hmm, right. Actually, I did push, but my fancy hook that prevents me from pushing several commits at the same time kicked in. JMarc