update
This commit is contained in:
parent
7fcfb1ae77
commit
9c31b91c89
1 changed files with 2 additions and 0 deletions
|
@ -34,3 +34,5 @@ Hmm, --expire updates all the location logs when it thinks a repo has gone
|
||||||
missing. Why not just mark it dead? Again, this would save a lot of space!
|
missing. Why not just mark it dead? Again, this would save a lot of space!
|
||||||
It would complicate recovery if a repo had been offline and came back; it
|
It would complicate recovery if a repo had been offline and came back; it
|
||||||
would need to mark itself as not dead any longer.
|
would need to mark itself as not dead any longer.
|
||||||
|
|
||||||
|
> [[done]] --[[Joey]]
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue