mirror of
https://github.com/git/git.git
synced 2026-03-01 19:16:25 +00:00
We use that to specify alternative index files, which can be useful if you want to (for example) generate a temporary index file to do some specific operation that you don't want to mess with your main one with. It defaults to the regular ".git/index" if it hasn't been specified.
7.4 KiB
7.4 KiB