I've got a repository that I've had for years, using through GitKraken. I just used the CLI to assign a tag (using the code `git tag -a v0.7.1 -m "my version 0.7.1" ea27f3b3ab882e58cbb5995f5d8638a200676a43` then `git push --tags`) to the repo, and after that GitKraken will not open it. It says there's no repository there and asks if I want to initialize a new repo.

There are no problems with any of my other repos. Also, this repo works fine from the command line. I've tried deleting the folder manually, then cloning it again from github in the same place, but it didn't help. I've also tried `git reset --hard` locally, but to no use. Some google searching shows up things like long path names on deeply nested files, but I don't have that (and I'm on MacOS not Windows).

Any ideas?