push: support pushing HEAD to real branch name

diff --git a/xdiff-interface.h b/xdiff-interface.h
index 1346908bea31319aabeabdfd955e2ea9aab37456..fb742dbb6ba2125b970b9d9510e208ec99954a2d 100644 (file)
--- a/xdiff-interface.h
+++ b/xdiff-interface.h
@@ -17,5 +17,9 @@ int xdiff_outf(void *priv_, mmbuffer_t *mb, int nbuf);
 int parse_hunk_header(char *line, int len,
                      int *ob, int *on,
                      int *nb, int *nn);
+int read_mmfile(mmfile_t *ptr, const char *filename);
+int buffer_is_binary(const char *ptr, unsigned long size);
+
+extern void xdiff_set_find_func(xdemitconf_t *xecfg, const char *line);
 
 #endif