correct github repo url