hugo/Gotcha
1
0
Fork 0
Code Issues 13 Pull Requests Actions Packages Projects Releases Wiki Activity

Home Screen pull request filter is empty #34

New Issue
Closed
opened 2026-07-31 14:51:32 +00:00 by hugo · 1 comment
hugo commented 2026-07-31 14:51:32 +00:00
Owner
Copy Link

The pull request filter icon claims no activities, but that is wrong, there are pull requests on the server and they need to be shown. They show up when I use pull-up, but of course the starting screen should show available pull request activity and not just claim nothing is there.

The pull request filter icon claims no activities, but that is wrong, there are pull requests on the server and they need to be shown. They show up when I use pull-up, but of course the starting screen should show available pull request activity and not just claim nothing is there.
hugo added this to the first feature complete release milestone 2026-07-31 14:51:32 +00:00
hugo added the bug label 2026-07-31 14:51:32 +00:00
hugo commented 2026-07-31 15:34:12 +00:00
Author
Owner
Copy Link

Implemented in dba6359.

  • Added reusable filtered activity streams to gotcha_gitea::Client, including issue and pull-request event classification and a continuation cursor that skips server pages with no matching events.
  • Updated the Rust app boundary and regenerated UniFFI bindings so iOS requests the selected stream instead of filtering incomplete pages in Swift.
  • Updated Home to load the selected stream immediately and only show the empty state after the complete available feed has been checked.
  • Added Rust coverage for activity classification and continuation presentation.

Verified in the iPhone 17 Pro simulator: selecting Pull requests immediately displayed older open, merge, and review activity without a manual pull-up; Issues and All activity also restored the correct streams. The simulator build succeeded, and all required formatting, warning-free check, Clippy, and workspace test gates passed.

Implemented in dba6359. - Added reusable filtered activity streams to `gotcha_gitea::Client`, including issue and pull-request event classification and a continuation cursor that skips server pages with no matching events. - Updated the Rust app boundary and regenerated UniFFI bindings so iOS requests the selected stream instead of filtering incomplete pages in Swift. - Updated Home to load the selected stream immediately and only show the empty state after the complete available feed has been checked. - Added Rust coverage for activity classification and continuation presentation. Verified in the iPhone 17 Pro simulator: selecting Pull requests immediately displayed older open, merge, and review activity without a manual pull-up; Issues and All activity also restored the correct streams. The simulator build succeeded, and all required formatting, warning-free check, Clippy, and workspace test gates passed.
hugo closed this issue 2026-07-31 15:34:12 +00:00
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
Labels
Clear labels
bug
Something is not working
 critical
critical issues that take precendence over others of the same grouping
 duplicate
This issue or pull request already exists
 enhancement
New feature
 help wanted
Need some help
 idea
an idea for a future milestone
 invalid
Something is wrong
 question
More information is needed
 wontfix
This won't be fixed
No Label bug
Milestone
No items
No Milestone first feature complete release
Projects
Clear projects
No project
Assignees
Clear assignees
hugo
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: hugo/Gotcha#34
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?