Eu cometi e enviei algum diretório para o github. Depois disso, alterei o .gitignorearquivo adicionando um diretório que deveria ser ignorado. Tudo funciona bem, mas o diretório (agora ignorado) permanece no github. Como excluo esse diretório do github e do histórico do