This might be off topic, but if R-core development ever moves to git, I think it would make sense to have its own git service hosted by a university, rather than using github or gitlab. It is possible via https://gogs.io/ project. Just for the record. Best, -m