Fix link to git workshop repo

The link pointed to a project that was moved some time ago. The link-checker did not catch it, since the link ended up on the Gitlab login page first and only after a login one ended up in a 404.