servers can't be deleted from the config, but there must be a way #52
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
servers should support the slide gesture to reveal a delete button and a long slide to directly execute the delete. on delete, the user needs to get a confirmation message that they have to confirm to actually delete.
A second button on that slide gesture should be the edit button and on tapping that, the user must be able to edit the details of the server just as with the login screen, so they can rename the server or update the token, switch the server type (gitea / forgejo) and change the URL.
Implemented in
9a0b179.TESTING.md.Verified with all repository gates (
fmt, warnings-denied workspace check, Clippy with warnings denied, and workspace tests), an arm64 iPhone 17 Pro Simulator build, and native interaction testing with a disposable second server: edit prefill/provider discovery, hidden/preserved/replaced token, confirmation cancel, confirmed deletion, selection fallback, and relaunch persistence. A signed paired-iPhone build also succeeded.