diff options
author | Joey Hess <joey@kitenet.net> | 2011-03-03 15:22:53 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2011-03-03 15:22:53 -0400 |
commit | 9f20aee2192bcc5f2c0ae1f59db88f6eadeb7335 (patch) | |
tree | a35b490222a98f9f22ba65613ac9a051a8681ea7 /Version.hs | |
parent | d25a8540854fed30567868799322bbdf4e947c2f (diff) |
avoid logging to location log when in a bare repo
This assumes that changes to content in bare repos are made from some
non-bare repo, and that the location log is updated on that side.
That's true for move --from and move --to.
It's *not* true for dropkey and setkey and recvkey. But those are plumbing
level commands, so I guess it's ok to assume that someone running those
in a bare repo knows what they're doing. And git-annex-shell is used to
run those, and if the bare repo is non-local, it needs to be able to use
them even though they cannot update the location log. So this seems
unavoidable.
Diffstat (limited to 'Version.hs')
0 files changed, 0 insertions, 0 deletions