mirror of
https://github.com/git/git.git
synced 2024-10-01 10:41:25 +02:00
Git Source Code Mirror. Please follow Documentation/SubmittingPatches procedure for any of your improvements.
e210e67451
When we are refreshing from the index or updating the index we shouldn't let the user cause other index based operations to occur as these would likely conflict with the currently running operations possibly causing some index changes to be lost. Signed-off-by: Shawn O. Pearce <spearce@spearce.org> |
||
---|---|---|
git-gui |