diff options
| author |  https://www.google.com/accounts/o8/id?id=AItOawmXtqLEfN6cGcF9gW_09QUDoRpsexSdRcM <Thomas@web> | 2014-01-26 15:18:56 +0000 |
|---|---|---|
| committer |  admin <admin@branchable.com> | 2014-01-26 15:18:56 +0000 |
| commit | 17b41ec6c11b1242ee9c40e6bc7a60bf01b417ff (patch) | |
| tree | edafa9c1748302f281d0980e2df03d72ce67ceea | |
| parent | 7dfb1a25d15ea3135f3f71cb6c6f2b290a8f117b (diff) | |
Option to delete remote repo when sync failed missing
| -rw-r--r-- | doc/bugs/Cannot_delete_remote_when_ssh_sync_fails.mdwn | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/bugs/Cannot_delete_remote_when_ssh_sync_fails.mdwn b/doc/bugs/Cannot_delete_remote_when_ssh_sync_fails.mdwn new file mode 100644 index 000000000..f780ace7c --- /dev/null +++ b/doc/bugs/Cannot_delete_remote_when_ssh_sync_fails.mdwn @@ -0,0 +1,8 @@ +### Please describe the problem. +The webapp does not offer me the option to delete a remote repository that it did not succeed to synchronize with. Status of the repository is sync enabled (metadata only) but in settings I may only edit the repo, but cannot delete it. + +### What steps will reproduce the problem? +Set up git-annex on a new computer. Forget to enable ssh on the machine. Perform a local pairing (success). The sync fails for obvious reasons. + +### What version of git-annex are you using? On what operating system? +System is ubuntu but I assume this is a general issue. Version of git-annex is 5.20140117 |