mirror of
https://github.com/git/git.git
synced 2026-01-24 15:57:20 +09:00
If we have the index locked then no pull command is allowed to proceed (as it would fail to get the index lock itself). So disable the pull menu items when we are doing any index based operations. Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
Description
No description provided
Languages
C
50.5%
Shell
38.7%
Perl
4.5%
Tcl
3.2%
Python
0.8%
Other
2.1%