Cómo limpiar credenciales expuestas en Git con git-filter-repo y rotar tokens

Guía práctica para eliminar secretos del historial de Git y rotar tokens comprometidos en un servidor doméstico.