872 MkGithub.randomRepo()

Done #872
Fixed length is less random.