Managed repository list updates inconsistent with GIN status

[mpsonntag]

The issue was submitted by email: "If I delete a repository on the GIN server by other means than using WinGIN, it would not update its managed repositories list accordingly. If I then try to remove it, it won't remove it either."

[JiriVanek]

Hi Michael, I tested the issue, but I was unable to replicate the problem. If the repository is deleted on server, the local (checked out) repository remain on computer until it is removed manually with "remove" button in WINGIN repositories window. I presume that this is expected. The WinGin did not show the option to checkout the deleted repository from server (because it was deleted) and when the local repository is deleted all data are removed.

The WinGIN does not provide functionality to remove repository on server, the remove button allow user only delete local repository.

Problem could be when there were some changes in local repository that were not commited....

Tested with:
GIN command line client 1.11 Build 001459 (103e923620de08ff77cf290e0b840a6d66cebfe1)
git: 2.26.2.windows.1
git-annex: 8.20200330-g971791563

WinGIN version 1.2.127.0