diff options
author | Ben Peart <benpeart@microsoft.com> | 2018-10-23 21:04:23 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-10-24 04:57:08 +0200 |
commit | 649bf3a42f344e71b1b5a7f562576f911a1f7423 (patch) | |
tree | c5559a7735da4ad4c8562dbf6234c891929bdfa8 /advice.h | |
parent | reset: add new reset.quiet config setting (diff) | |
download | git-649bf3a42f344e71b1b5a7f562576f911a1f7423.tar.xz git-649bf3a42f344e71b1b5a7f562576f911a1f7423.zip |
reset: warn when refresh_index() takes more than 2 seconds
refresh_index() is done after a reset command as an optimization. Because
it can be an expensive call, warn the user if it takes more than 2 seconds
and tell them how to avoid it using the --quiet command line option or
reset.quiet config setting.
Signed-off-by: Ben Peart <benpeart@microsoft.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'advice.h')
-rw-r--r-- | advice.h | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -12,6 +12,7 @@ extern int advice_push_needs_force; extern int advice_status_hints; extern int advice_status_u_option; extern int advice_commit_before_merge; +extern int advice_reset_quiet_warning; extern int advice_resolve_conflict; extern int advice_implicit_identity; extern int advice_detached_head; |