3 ms·
I'm inclined to add https://github.com/marketplace/actions/sync-to-gitlab https://github.com/marketplace/actions/sync-to-gitlab to all my repos in github, so th
by gchamonlive 1y ago
I'm inclined to add https://github.com/marketplace/actions/sync-to-gitlab https://github.com/marketplace/actions/sync-to-gitlab to all my repos in github, so that I can tap into the social value of GitHub's community and the technical value of GitLab's everything else.
- dijksterhuis 1y agoSimpler version from GitLab (no actions needed) https://docs.gitlab.com/user/project/repository/mirror/push/ https://docs.gitlab.com/user/project/repository/mirror/push/ I was planning to do this myself. GitLab for dev work proper. GitHub push mirror on `main` for gen-pop access (releases/user issue reporting).