devbox
devbox copied to clipboard
File in git index but gitignored is not synced after the initial sync
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.