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.moll...@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/
signature.asc
Description: PGP signature
