In article <1589093219.3690074.1548676152864@xxxxxxxxxxxxxx> you write: >The charter explicitly calls out Github, rather than the more general git. Github is not the same as git. It does all sorts of stuff that a generic git server does not do. People use github because they use the features generic servers don't have. I don't see how it is useful to conflate the two. R's, John PS: I run a generic git server on my own system so I speak from experience here.