gitrepository-layout.txt: s/ignored/ignored if/