diff options
| author | Junio C Hamano <junkio@cox.net> | 2007-01-08 14:40:33 -0800 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2007-01-08 14:46:00 -0800 |
| commit | 0f018baba654347b5ce746253b99d59707f80184 (patch) | |
| tree | 16b1f8e5488984a9cfdb8a83a261a708ec884f58 /Documentation | |
| parent | d84029b6738197fa409861597934b29bbebad262 (diff) | |
| download | git-0f018baba654347b5ce746253b99d59707f80184.tar.gz git-0f018baba654347b5ce746253b99d59707f80184.tar.xz | |
--prune is now default for 'pack-refs'
There is no reason not to, really.
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'Documentation')
| -rw-r--r-- | Documentation/git-pack-refs.txt | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/Documentation/git-pack-refs.txt b/Documentation/git-pack-refs.txt index 5da510577..464269fbb 100644 --- a/Documentation/git-pack-refs.txt +++ b/Documentation/git-pack-refs.txt @@ -7,7 +7,7 @@ git-pack-refs - Pack heads and tags for efficient repository access SYNOPSIS -------- -'git-pack-refs' [--all] [--prune] +'git-pack-refs' [--all] [--no-prune] DESCRIPTION ----------- @@ -40,10 +40,11 @@ developed and packing their tips does not help performance. This option causes branch tips to be packed as well. Useful for a repository with many branches of historical interests. -\--prune:: +\--no-prune:: + +The command usually removes loose refs under `$GIT_DIR/refs` +hierarchy after packing them. This option tells it not to. -After packing the refs, remove loose refs under `$GIT_DIR/refs` -hierarchy. This should probably become default. Author ------ |