Implemented in 201f32f. Added the server-selection button to Pull Requests and made the existing server picker reusable across tabs. Verified the full picker flow in the iPhone 17 Pro simulator, passed all required Rust gates (format, warning-free check, Clippy, and 10 tests), and successfully built/signed and installed the app on the paired iPhone 17.
Implemented in 201f32f. Added the server-selection button to Pull Requests and made the existing server picker reusable across tabs. Verified the full picker flow in the iPhone 17 Pro simulator, passed all required Rust gates (format, warning-free check, Clippy, and 10 tests), and successfully built/signed and installed the app on the paired iPhone 17.
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
the pull requests pane does not have the server selection icon like the issues pane for example.
Implemented in
201f32f. Added the server-selection button to Pull Requests and made the existing server picker reusable across tabs. Verified the full picker flow in the iPhone 17 Pro simulator, passed all required Rust gates (format, warning-free check, Clippy, and 10 tests), and successfully built/signed and installed the app on the paired iPhone 17.