Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Use $GIT_INDEX_FILE instead of --index-output to avoid lockfile problem
The lockfile gets renamed to the final destination after the operation finishes. But it must be located in the same filesystem, which prevents us from using /tmp.
- Loading branch information