You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This commit was created on GitHub.com and signed with GitHub’s verified signature.
Library Update no longer gets stuck: edits you can't share can be set aside, and it says what really stopped it.
Set aside and update (#87): when the update changes files you've edited in your library copy, the panel lists them and offers to set them aside. They're copied to a backup folder next to the library, and the update goes ahead. Your other local edits are kept.
Clear reasons: GitHub can't be reached, local commits in the library copy, or edited files in the way. Each is now named, instead of always "Share them first".
The new texts are translated into every panel language.
Tests: Claude's own tool slips stay covered (#84), and a test that failed on Linux is fixed.