Github integration

As reported by @markus.blatt authentication via github does not work anymore. Should be possible to fix it following https://docs.gitlab.com/ee/integration/github.html.