Jehan created an issue: https://gitlab.gnome.org/Infrastructure/Infrastructure/-/issues/743
We used to have a `build.gimp.org` for continuous integration with Jenkins. The jenkins server had been officially decommissioned for a year now, in favor of Gitlab CI, for 1.5 years now: https://gitlab.gnome.org/GNOME/gimp/-/issues/4138#note_767729 Yet the DNS entry still exist and leads to nowhere. In the spirit of keeping possible past URLs leading to somewhere useful, could maybe all calls to build.gimp.org lead to https://gitlab.gnome.org/GNOME/gimp/-/pipelines ? P.S.: I thought that I might see the build.gimp.org domain in OpenShift but it's not there. I guess that's not where it was handled? -- Reply to this email directly or view it on GitLab: https://gitlab.gnome.org/Infrastructure/Infrastructure/-/issues/743 You're receiving this email because of your account on gitlab.gnome.org.
_______________________________________________ gnome-infrastructure mailing list [email protected] https://mail.gnome.org/mailman/listinfo/gnome-infrastructure
