mirror of
https://github.com/martinvonz/jj.git
synced 2025-05-31 23:25:09 +00:00
Git doesn't want `.git` entries in its trees, so at least when using the Git backend, we need to ignore such paths. Let's just ignore `.git` paths regardless of backend to keep it simple. Closes #24.