Fix up github repo url