more complete pull request features #12
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?
pull requests can optionally be linked to milestones and if they are, they should show up on the milestone details, too. also pull requests should be filterable by milestone. if a filter different from the default (status open, all milestones) is set, the filter icon should be shown in an an accent color to show the user that a filter is set. this should be aligned with #10 in styling.
Implemented in
86200b4. Added server-scoped persisted pull-request milestone filters backed by the Gitea cross-repository milestone query, a native Status/Milestone menu, and neutral/accent filter-state accessibility matching the issue filter. Milestone details now load issues and pull requests concurrently, normalize repository metadata, show separate native sections, and route linked pull rows to their detail screen. Updated TESTING.md and regenerated UniFFI bindings. Verification passed: all required cargo formatting/check/Clippy/test gates, signed arm64 iPhone 17 Pro simulator build, live Status/Milestone menu and default/active tint checks, pull list loading, and milestone Pull Requests section verification. The test server has no milestone-linked pulls, so the populated milestone pull-row path is additionally covered by the Rust presentation test.