Option to delete remote repo when sync failed missing

This commit is contained in:
https://www.google.com/accounts/o8/id?id=AItOawmXtqLEfN6cGcF9gW_09QUDoRpsexSdRcM 2014-01-26 15:18:56 +00:00 committed by admin
parent 8bee32ea48
commit 425ccdaeb1

View file

@ -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