> Github without distributed commits isn't based on git anymore, and the other stuff is ancillary (and also easily exportable) I don't think issues and PRs, al

> Github without distributed commits isn't based on git anymore, and the other stuff is ancillary (and also easily exportable) I don't think issues and PRs, along with all the comments on them, are ancillary. Github does make it easy to export that data, but then it's not necessarily easy to bring it in somewhere else and keep using it. That's not Github's fault, but there is definitely a degree of lock in.