Fix up (some of the) bugs in the GitIgnore subsystem