I knew about .git/info/exclude and ~/.config/git/ignore but not about git-check-ignore(1). Neat!