changed name of Github repo