Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
ci: use github.com instead of gitlab.gnome.org (#3340)
**What problem is this PR intended to solve?** Use github instead of gitlab.gnome.org, because the gnome infrastructure has been unstable: - https://discourse.gnome.org/t/login-problems-gitlab/25132/3 - https://gitlab.gnome.org/Infrastructure/Infrastructure/-/issues/1794 - https://gitlab.gnome.org/Infrastructure/Infrastructure/-/issues/1792 and it's not obvious that the gnome infrastructure team is working on it -- there are no meaningful updates as of this writing, and the status page still shows green despite a complete inability to `git clone` or load most web pages ![image](https://github.com/user-attachments/assets/2027ae72-2b1e-4bdb-8d42-5ac6716b4b98) 🤷
- Loading branch information