Tengo un archivo (config.php), que ya está comprometido con el repositorio de Git, pero quiero ignorarlo localmente, es decir, quiero que ese archivo permanezca en el repositorio, pero obligo a Git a ignorar cualquier cambio. Puse el archivo en .gitignore, pero todavía está marcado como...