Me comprometí y empujé un directorio a github. Después de eso, modifiqué el .gitignorearchivo agregando un directorio que debería ignorarse. Todo funciona bien, pero el directorio (ahora ignorado) permanece en github. ¿Cómo elimino ese directorio de github y el historial del...