gap-congruence/.gitignore