this workflow push all changes of the master branch on github to the default branch of gitlab
you only need to add a secret in your Settings (name=GITLAB_ACCESS_TOKEN)
you need to ask Norman or me for the access token