push: remove "push.default is unset" warning message

diff --git a/environment.c b/environment.c
index 1cc4aab4eacb629f8fe147c2e20b53c4141587aa..6dec9d0403f11579a7ab316db87a1dbbc58e71b2 100644 (file)
--- a/environment.c
+++ b/environment.c
@@ -87,6 +87,13 @@ int auto_comment_line_char;
 /* Parallel index stat data preload? */
 int core_preload_index = 1;
 
+/*
+ * This is a hack for test programs like test-dump-untracked-cache to
+ * ensure that they do not modify the untracked cache when reading it.
+ * Do not use it otherwise!
+ */
+int ignore_untracked_cache_config;
+
 /* This is set by setup_git_dir_gently() and/or git_default_config() */
 char *git_work_tree_cfg;
 static char *work_tree;