Allow dots in github repo names.