DEADB17·el año pasado·discusshttps://git-scm.com/docs/git-check-ignore is useful to diagnose why a file is ignored