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!