And in particular, it would be good to know what git hosting software they were using (and what version), or whether it was a plain old SSH repository.
And in particular, it would be good to know what git hosting software they were using (and what version), or whether it was a plain old SSH repository.