Fix github repo name