mirror of
https://github.com/f-droid/fdroidclient.git
synced 2026-02-19 15:48:19 -05:00
Before this commit, the UI would not update, because the `repo` in the `state` was never updated. This was mostly noticeable when toggling mirrors on and off. So the UI needs to use repoFlow directly (to listen to RepoManager changes). But then there is no need for RepoDetailsState anymore.