add a new theme; rename git remote alias