[PATCH] optimize git-resolve-script

diff --git a/pull.h b/pull.h
index 314bc7e95ab1a73634f6a96a8a3782fda91ea261..d2dca02de7c23426e84e9f63762df9428933e8d8 100644 (file)
--- a/pull.h
+++ b/pull.h
@@ -13,6 +13,12 @@ extern int get_history;
 /** Set to fetch the trees in the commit history. **/
 extern int get_all;
 
+/* Set to be verbose */
+extern int get_verbosely;
+
+/* Report what we got under get_verbosely */
+extern void pull_say(const char *, const char *);
+
 extern int pull(char *target);
 
 #endif /* PULL_H */