push: enhance unspecified push default warning

diff --git a/environment.c b/environment.c
index 378254c77a00f93ef667c0510fa11b75988ef05a..0a15349cfe38ab76b1d1cc94878cec2a8d754bbd 100644 (file)
--- a/environment.c
+++ b/environment.c
@@ -155,11 +155,6 @@ int is_bare_repository(void)
        return is_bare_repository_cfg && !get_git_work_tree();
 }
 
-int have_git_dir(void)
-{
-       return !!git_dir;
-}
-
 const char *get_git_dir(void)
 {
        if (!git_dir)