diff options
| author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2019-03-25 11:14:21 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2019-04-02 09:55:00 +0900 |
| commit | f6188dccb7795ba7c374274264b70e5a4a2a2f5f (patch) | |
| tree | bd7b2728bd71043bdbebcb059393ae389e47a66b /commit.c | |
| parent | ae0a11c20dd75f5955a25903020340096739b294 (diff) | |
tests (push): do not abbreviate the `--follow-tags` option
We really want to spell out the option in the full form, to avoid any
ambiguity that might be introduced by future patches.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'commit.c')
0 files changed, 0 insertions, 0 deletions