diff options
author | 2014-10-15 15:47:49 -0400 | |
---|---|---|
committer | 2014-10-15 15:47:49 -0400 | |
commit | 9a4c5746c2df53f9c385b62a051772f8dd91b1a9 (patch) | |
tree | e1fdf05c330c9102290201c83976e4f3b05cd9a4 /Annex/Path.hs | |
parent | a919ef54ff13438d12da75d98015b1299bc9c6ee (diff) |
initremote: Don't allow creating a special remote that has the same name as an existing git remote.
This is not a complete fix. For one, git remote will happily go add a
remote that has the same name as an existing special remote. For another,
enableremote will enable a special remote over top of an existing git
remote. And, also, the webapp might.
Diffstat (limited to 'Annex/Path.hs')
0 files changed, 0 insertions, 0 deletions