This repository was archived by the owner on Nov 19, 2024. It is now read-only.
This repository was archived by the owner on Nov 19, 2024. It is now read-only.
File in git index but gitignored is not synced after the initial sync #13
Description
If a file is in .gitignore, but still in the git index, it is synced only in the initial scan. If the file appears later, such as after a git pull, it is not synced until devbox restart.