git: more generic path to global ignore file