diff options
author | Michael Haggerty <mhagger@alum.mit.edu> | 2015-07-20 01:29:20 -0400 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2015-07-20 11:03:58 -0700 |
commit | fe819b4b73e82654f5827d208acfdeeb2a40b8ca (patch) | |
tree | b4130b5dbba74701cbd98e2699800e65dce01418 | |
parent | 2e73ab6e697ff8a98fd359321b584d01fa4f8672 (diff) | |
download | git-fe819b4b73e82654f5827d208acfdeeb2a40b8ca.tar.gz git-fe819b4b73e82654f5827d208acfdeeb2a40b8ca.tar.xz |
Documentation/config: fix stale "git prune --worktree" reference
This should have been changed to "git worktree prune" by df0b6cf
(worktree: new place for "git prune --worktrees", 2015-06-29)
[es: reword commit message]
Signed-off-by: Michael Haggerty <mhagger@alum.mit.edu>
Signed-off-by: Eric Sunshine <sunshine@sunshineco.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
-rw-r--r-- | Documentation/config.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/config.txt b/Documentation/config.txt index 2700a1bb8..b56c2eb2a 100644 --- a/Documentation/config.txt +++ b/Documentation/config.txt @@ -1231,7 +1231,7 @@ gc.pruneexpire:: gc.pruneworktreesexpire:: When 'git gc' is run, it will call - 'prune --worktrees --expire 3.months.ago'. + 'git worktree prune --expire 3.months.ago'. Override the grace period with this config variable. The value "now" may be used to disable the grace period and prune $GIT_DIR/worktrees immediately. |