Switching from Github to Gitlab #movingtogitlab

My repositories are now on https://gitlab.com/SeppPenner/ instead of https://github.com/SeppPenner.

However, I will probably keep the old states on Github.