diff options
author | 2013-03-04 21:32:57 -0400 | |
---|---|---|
committer | 2013-03-04 21:32:57 -0400 | |
commit | 5123a1a83aa3b954fe67629508bab5ccea0e4148 (patch) | |
tree | 8e6b5a8ab4f1b1a5e486a7338d49fff7ee2860bb /Remote/Git.hs | |
parent | 9acd6ccff769b7db07e94659a4c8d1d7be132d91 (diff) |
Bugfix: If the UUID of a remote is not known, prevent --from, --to, and other ways of specifying remotes by name from selecting it, since it is not possible to sanely use it.
For example, copy --to such a remote would send the file, but as NoUUID was
its uuid, no location log update was done. And drop --from such a remote
would not do anything, because NoUUID is not listed in the location log..
Diffstat (limited to 'Remote/Git.hs')
0 files changed, 0 insertions, 0 deletions