config: rename "gc.pruneWorktreesExpire" to "gc.worktreePruneExpire"
commit114ff8881ac3de4b97f62f014560c99bed5dab92
authorEric Sunshine <sunshine@sunshineco.com>
Mon, 20 Jul 2015 05:29:22 +0000 (20 01:29 -0400)
committerJunio C Hamano <gitster@pobox.com>
Mon, 20 Jul 2015 18:09:06 +0000 (20 11:09 -0700)
treebd6d8b425ddc0b95febe472ddf8a70a70aceb774
parentb07244f4c38326ed6da731aa0d4862905cd58daa
config: rename "gc.pruneWorktreesExpire" to "gc.worktreePruneExpire"

As of df0b6cf (worktree: new place for "git prune --worktrees",
2015-06-29), linked worktree pruning functionality moved from
"git prune --worktrees" to "git worktree prune". Rename the
associated configuration variable accordingly.

Signed-off-by: Eric Sunshine <sunshine@sunshineco.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/config.txt
Documentation/git-worktree.txt
builtin/gc.c