Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
pull-test.sh: avoid "git subtree pull" error
Without a prior `git reset --hard`, `git subtree pull` fails with: fatal: working tree has modifications. Cannot add. Debugging with -d doesn't show any explanation and neither `git diff` nor `git diff-index` show any modifications. The `git reset --hard` shouldn't be necessary.
- Loading branch information