Hello, I've managed to make changes to the website for 9.4.2 and they are correctly reflected on lucene.staged.apache.org. However pushing to the `production` branch doesn't seem to trigger a build on https://ci2.apache.org/#/builders/3 and I'm not seeing the production website getting updated either.
Is someone familiar with how the build hooks with git pushes and could give me pointers to debug why pushes to the production branch are not triggering builds? -- Adrien
