repos

We group git-mirrored f-droid repos here.