change name of github repo to match reality