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

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`