El problema
Hice varias modificaciones locales a mi repositorio GIT. Me quiero deshacerme de las modificaciones de uno o dos archivos, pero no de todas las demás ¿Qué puedo hacer?
La solución errónea
Yo creía que se podía hacer con el comando git reset <ruta_al_archivo>.
Pero eso no funciona así de fácil. Además, tengo la suficiente pereza
requerida como para no leer concienzudamente las páginas del manual.
La solución chafa (funciona, pero…)
Lo que hacía era hacer un git diff <ruta_al_archivo> y deshacer los cambios a
mano mediante el editor.
Sí, ya sé… eso está muy chafa.
La solución elegante.
La solución elegante la encontré en el blog de la empresa Norbauer.
Básicamente lo que uno tiene que hacer es git checkout <ruta_al_archivo>. Lo
que hace este comando es revertir sólo ese archivo a la versión de HEAD.
Ya que git checkout también sirve para cambiar entre ramas de desarrollo
(branches) — un tema que da para rato — puede que alguna vez
exista una rama de desarrollo que tenga el mismo nombre que nuestro archivo;
entonces se anteponen dos guiones (o como me gusta decir: menos,menos) al nombre
o ruta del archivo: git checkout -- <ruta_al_archivo>.
Esta solución sí me gustó. Menos chafa, más elegante — como debe ser.