website/docs/git.md

#info

URL https://git.webhosting.rug.nl

set environment

$ account@ssh.webhosting.rug.nl
$ git config --global user.name "My Username"
$ git config --global user.email "email@rug.nl"