compat / terminal.hon commit push: allow --follow-tags to be set by config push.followTags (a8bc269)
   1#ifndef COMPAT_TERMINAL_H
   2#define COMPAT_TERMINAL_H
   3
   4char *git_terminal_prompt(const char *prompt, int echo);
   5
   6#endif /* COMPAT_TERMINAL_H */