Hallo, gregor herrmann, on 2020-05-23 13:48:00 +0200: > This sounds to me like you have pushed some changes, but I don't see > anything after my commit from Thursday in the repo :) Erm, how to say that... I saw this in my command prompt after coming back from lunch: $ git push Enter passphrase for key '/home/emollier/.ssh/id_ed25519': _ This explains that... :) Cheers, -- Étienne Mollier <etienne.mollier@mailoo.org> Fingerprint: 5ab1 4edf 63bb ccff 8b54 2fa9 59da 56fe fff3 882d Help find cures against the Covid-19 ! Give CPU cycles: * Rosetta@home: https://boinc.bakerlab.org/rosetta/ * Folding@home: https://foldingathome.org/
Attachment:
signature.asc
Description: PGP signature