@akero Yes, I think that this belongs to the settings.
Update F-Droid repository
Are there any plans to do this?
- We can’t update the F-Droid repository. That’s the job of F-Droid people. We don’t have any influence on that.
- What we can do is to help the F-Droid people to get up-to-date information about the source code location etc.
We have already done so: https://gitlab.com/fdroid/fdroiddata/merge_requests/1023/diffs
By the way, we’re not related to F-Droid in any way and everybody can submit merge requests to fdroiddata. You can do so yourself, too