push: support pushing HEAD to real branch name

diff --git a/xdiff-interface.h b/xdiff-interface.h
index 1918808081c00daf20a16a1592c0ed9be6d79be4..fb742dbb6ba2125b970b9d9510e208ec99954a2d 100644 (file)
--- a/xdiff-interface.h
+++ b/xdiff-interface.h
@@ -18,5 +18,8 @@ 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