git: Borrar fichero sólo en una rama

Seleccionamos la rama con checkout, eliminamos el fichero en la copia local y hacemos commit y push en la rama correcta.