Redirect build.gimp.org
We used to have a build.gimp.org
for continuous integration with Jenkins. The jenkins server had been officially decommissioned for 1.5 years now, in favor of Gitlab CI: GNOME/gimp#4138 (comment 767729)
Yet the DNS entry still exists 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?