For everyone that depends on GitHub to build production code, add a fallback on gitlab:

`git remote add fallback git@gitlab.com:user/repo`

and then push/pull your code with:

`git push fallback whatever` `git pull fallback whatever`