Re:Wikimedia is moving to Gitlab
by js2 on Wednesday October 28, 2020 @12:52PM
(#24921057)
Thanks. I haven’t used gitlab. I assumed it worked the same as GitHub. That’s good to know.
[ Parent
| on HN ]
Yup, GitLab works as expected here. It's always surprised me how quickly the old commit is garbage-collrcted when you force-push a branch on GitHub. It causes weird errors in CI runs and breaks viewing the old commits.
Seriously I'll pay for those couple of KiB of space, just keep it around. (at least until the PR is closed)