Fix old repo name