Revert "git ignore"

This reverts commit de28cc98acf1f4dbc372c5a1d31dbddb78bdc10d.