It's not ;-) Really it's just inertia. We were using git before repositoryhosting, github, etc. were around - and what we have works fine, is backed up, etc. C

It's not ;-) Really it's just inertia. We were using git before repositoryhosting, github, etc. were around - and what we have works fine, is backed up, etc. Changing it isn't worth the pain involved.