chiark / gitweb /
Merge branch 'gitlab-mirrors-reorder' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Thu, 18 Jan 2018 09:01:17 +0000 (09:01 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Thu, 18 Jan 2018 09:01:17 +0000 (09:01 +0000)
Reorder the gitlab mirrors so GitLab Pages comes before "raw".

See merge request fdroid/fdroidserver!438


Trivial merge