Want to move your repositories off Github, but still want your code to be available there due to the fact that it's basically the best way for a dev to get a job these days? Reminder that Gitlab recently added push mirroring: https://docs.gitlab.com/ee/workflow/repository_mirroring.html#setting-up-a-push-mirror-from-gitlab-to-github