1 files changed, 6 insertions, 0 deletions
diff --git a/pull.h b/pull.h
index 314bc7e95a..d2dca02de7 100644
--- 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 */