small change: git repo name