correct URL for github repo