gitextensions/gitextensions — pull request #1310 by hiroponz (2012-10-12 11:02:08+00:00)
Title: Deleting "index.lock", if a git process has been aborted.(ref #1307)

If a process of checkout has been aborted, ".git/index.lock" has remained.