diff options
author | Edmundo Carmona Antoranz <eantoranz@gmail.com> | 2015-11-01 15:19:05 -0600 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2015-11-01 14:08:17 -0800 |
commit | 870ebdb9c4facb55ed4817c5ff0968c0aadb7283 (patch) | |
tree | 373e1403f8d87b4ba8030018ba10250cd5a357df /userdiff.h | |
parent | Merge branch 'js/gc-with-stale-symref' into maint (diff) | |
download | tgif-870ebdb9c4facb55ed4817c5ff0968c0aadb7283.tar.xz |
checkout: add --progress option
Under normal circumstances, and like other git commands,
git checkout will write progress info to stderr if
attached to a terminal. This option allows progress
to be forced even if not using a terminal. Also,
progress can be skipped if using option --no-progress.
Signed-off-by: Edmundo Carmona Antoranz <eantoranz@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'userdiff.h')
0 files changed, 0 insertions, 0 deletions