Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
gitlab.gnome.org is down right now, but it's been somewhat flaky in the past. Our CI uptime becomes an *intersection* of all systems it depends on, and by cutting out gitlab.gnome.org we increase its reliability.
- Loading branch information