Git's ignorings are sorted out