3 ms·
I use GitLab as the primary source, and mirror it to GitHub. Or, I would have, if the builtin GitLab mirroring feature wasn't broken for pushing to GitHub.
by rhn_mk1 6y ago
I use GitLab as the primary source, and mirror it to GitHub.
Or, I would have, if the builtin GitLab mirroring feature wasn't broken for pushing to GitHub.