Test JGit servlet-4 against Gerrit stable-3.13

The servlet-4 work in JGit now targets Gerrit 3.13 rather than 3.12.
Update the Jenkins shared pipeline so validation runs against the new
stable branch, keeping CI aligned with the intended integration target.

This ensures the servlet-4 branch is continuously built and tested with
Gerrit 3.13 (and master), catching incompatibilities earlier and keeping
the validation matrix current with the upcoming release [1].

[1] https://www.gerritcodereview.com/2025-09-17-gerrit-3.13-release-plan.html

Change-Id: I7bcd8e0624f5952409faa54963f790647f9613de
1 file changed
tree: 9986ec03c0ce657fca90bac76ec6056c4ec158fa
  1. jenkins/
  2. jenkins-docker/
  3. jenkins-internal/
  4. vars/
  5. .gitignore
  6. Jenkinsfile
  7. README.md
  8. yamllint-config.yaml
README.md

Gerrit CI scripts

Providing jobs

This project uses Jenkins Jobs Builder [1] to generate jobs from yaml descriptor files.

To add new jobs reuse existing templates, defaults etc. as much as possible. E.g. adding a job to build an additional branch of a project may be as easy as adding the name of the branch to an existing project.

To ensure well readable yaml-files, use yamllint [2] to lint the yaml-files. Yamllint can be downloaded using Python Pip:

pip3 install --require-hashes yamllint

To run the linter, execute this command from the project's root directory:

yamllint -c yamllint-config.yaml jenkins/**/*.yaml

Yamllint will not fix detected issues itself.

[1] https://docs.openstack.org/infra/jenkins-job-builder/index.html [2] https://pypi.org/project/yamllint/