Git push does not trigger Jenkins build anymore
I noticed this regression while doing dev work, and just verified this:
$ git push lizard devel
Enumerating objects: 7, done.
Counting objects: 100% (7/7), done.
Delta compression using up to 8 threads
Compressing objects: 100% (3/3), done.
Writing objects: 100% (3/3), 379 bytes | 379.00 KiB/s, done.
Total 3 (delta 2), reused 0 (delta 0), pack-reused 0
remote: .--- Notifying Jenkins... -------------------------------------
remote: |
remote: 11
remote: | Notifying Jenkins of Git updates...
remote: | curl: (6) Could not resolve host: jenkins.lizard
remote: |
remote: `--------------------------------------------------------------
remote: 2023-10-16T10:09:42+00:00 hook-start ./hooks/post-update.d/www_website_ping-post-update.hook
remote: 2023-10-16T10:09:42+00:00 hook-end ./hooks/post-update.d/www_website_ping-post-update.hook
To git.puppet.tails.boum.org:tails
7751d15f12..d2cefa041d devel -> devel
It seems that "Could not resolve host: jenkins.lizard" is the culprit. Maybe related to #17856 (closed)?