Code

git-gui: Grab the index lock while running pull.
authorShawn O. Pearce <spearce@spearce.org>
Wed, 8 Nov 2006 02:30:46 +0000 (21:30 -0500)
committerShawn O. Pearce <spearce@spearce.org>
Wed, 8 Nov 2006 04:48:21 +0000 (23:48 -0500)
commit988b8a7d63ff52f252bb4c517d9f05c3952aa728
treec54f5b74355f9ea0d7d349fb9c7929982299d4be
parente534f3a88676fe0a08eb20359e1a43c6aa7dfe84
git-gui: Grab the index lock while running pull.

The user must not modify the index while a git pull operation is running,
doing so might cause problems for the merge driver and specific strategy
being used.  Normally on the command line people are just really good and
don't try to run index altering operations while they are also running a
pull.  But in a slick GUI like git-gui we can't trust the user quite as
much.

Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
git-gui