Mi sono impegnato e ho inviato alcune directory a github. Successivamente, ho modificato il .gitignore
file aggiungendo una directory che dovrebbe essere ignorata. Tutto funziona bene, ma la directory (ora ignorata) rimane su github.
Come cancello quella directory da github e dalla cronologia del repository?