Ciao,
può darsi che tu abbia aggiunto il file .gitignore in un secondo momento, quando ormai alcune dll erano già state aggiunte al repository.

Se è questo il caso, non si tratta di un bug ma di una funzionalità documentata di git.
Dalla guida sui file ignorati si legge:

If you already have a file checked in, and you want to ignore it, Git will not ignore the file if you add a rule later. In those cases, you must untrack the file first, by running the following command in your terminal:
git rm --cached FILENAME

Ecco altre considerazioni sull'argomento:
http://stackoverflow.com/questions/1274057/how-to-make-git-forget-about-a-file-that-was-tracked-but-is-now-in-gitignore

ciao,
Moreno

Ciao,

ma avendo moltissime dll già registrate, e che vorrei ignorare, c'è un comando che lavora sulla cartella e non sul singolo file?

Sì, esiste. Lo trovi documentato qui:
https://git-scm.com/docs/git-rm

Il comando git rm prevede una flag -r che eliminerà ricorsivamente tutti i file trovati nella cartella indicata.
Quindi da riga di comando posizionati nella directory che contiene bin e digita:


Anche se non ci fosse stata questa possibilità avresti potuto farlo in questo modo. Ti crei un file batch contenente tutti i percorsi dei file esistenti nella cartella.

Poi modifichi il file con Notepad++ e usi le espressioni regolari (o con Excel se vuoi usare le formule) per anteporre git rm --cached ad ogni riga. Risalvi ed esegui il file batch da riga di comando.

ciao,
Moreno

---

Modificato da BrightSoul il 21 dicembre 2016 18.21 -