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
Unfortunately, upgrading did not fix it. I suppose, a restart of the remote server (ssh was just installed) would have been necessary. Instead, I just deleted the repository on the remote.
Now my local repository was caught in a situation, where I couldn't upgrade the broken remote and I couldn't delete it either.
By recreating the repository on the remote, I finally was able to get rid of the broken link, but I think the proper solution would be to have the ability to remove unsynced repositories.
Thanks for the quick response!
This is still an issue in Ubuntu Focal which has version 8.20200226-1 of git-annex.
What I did here is to create a gcrypt remote on hidrive.strato.com over plain git. The obfuscated URL is url = "gcrypt::git.hidrive.strato.com:users/myuser/gcrypt.git#gcrypt". That remote shows as "syncing enabled (metadata only)" in the webapp interface and cannot be deleted there. I don't think strato.com has git-annex-shell installed.