| commit | a40f2d128af842f534ff4754786b07b993331003 | [log] [tgz] |
|---|---|---|
| author | Luca Milanesio <luca.milanesio@gmail.com> | Mon Oct 06 15:15:18 2025 +0100 |
| committer | Luca Milanesio <luca.milanesio@gmail.com> | Mon Oct 06 10:52:37 2025 -0700 |
| tree | 3304283854802de03e0c33ddde0e3c31dc2ca5e4 | |
| parent | a5a433ebeb00d5521cbac6591a00e2a09b8cc50e [diff] |
Generate git user.name and user.email from GPG key The Git username and e-mail must match the ones associated with the GPG key; there is no need to request a separate .gitconfig having the same information that the GPG key already contains and the user name and e-mail can be simply derived and configured dynamically. Change-Id: Ic0d327ec1888b62cf78abfd70b429a6f4f4fb75c
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/