Love how github is basically a synonym for git now. I'm sure it's fine, homogeneity works so well everywhere else. Robust.