for git: default names are prev; push default rm'd