Izzy on Nostr: Nope, see – F-Droid instead set up mirrors at GitLab. The app you've linked to uses ...

Nope, see https://gitlab.com/fdroid/fdroiddata/-/merge_requests/16090/diffs – F-Droid instead set up mirrors at GitLab. The app you've linked to uses that mirror. As for line 7, that probably shows "Source" instead of "Repo".