Add a repo dropdown to the filter bar that appears when an org is
selected. The dropdown lists all repos in the selected org and
filters issues/pulls to the chosen repo. Changing the org resets
the repo filter. Infinite scroll preserves the repo filter.
Closesleeworks-agents/gitea-mobile#83
Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>