adjusting the name of the repo to avoid conflicts with github pages