872 MkGithub.randomRepo()

Done #872
Seems rather complicated to me; any reason why we aren't just using a fixed length here (e.g. `Tv.TEN`)?