On 02/07/2016 05:48 AM, Joakim wrote:
Unfortunately, there's a lot of valuable info in the PR comments, that would be lost if github.com went down. Since D never switched from bugzilla to github for bugs, that wouldn't be an issue. Hopefully, we could pull that github PR discussion from a backup at archive.org or someplace.
It'd be nice if we'd migrate to gitlabs. Not only is it really nice (I like it slightly better than github) but it doesn't have github's problems with being such a walled-garden.
There's also a github/gitlabs-like tool on sandstorm.io that sounds good, although I haven't tried it.