Thanks to gnd: - Add your public keys here: https://git.xpub.nl/user/settings/keys - you can now pull/push via ssh (port 2501) - either clone your repos again via ssh, or edit your .git/config to point to the right method This will make the interaction with gitea much much much easier. Ask to André/Michael/Myself, your fellow students, or on this list if you need help with setting this up! a. -- https://bleu255.com/~aymeric