fix github repo name issue