Fix bug with github repo names
[#75296028]