Niels de Vos d172010e52 ci: add script to fetch labels for GitHub PR ...

By passing `--id=<id>` the labels of the given Pull-Request or Issue get
printed. When adding `--has-label=<label>`, the script verifies if the
label is set and returns 0 on succes, or 1 on failure.

Signed-off-by: Niels de Vos <ndevos@redhat.com>

2020-08-24 08:51:46 +00:00

..

Dockerfile.test

ci: add 'make test' target to validate CI job scripts

2020-05-27 12:52:21 +02:00

get_github_labels.py

ci: add script to fetch labels for GitHub PR

2020-08-24 08:51:46 +00:00

lint-extras.sh

ci: add 'make test' target to validate CI job scripts

2020-05-27 12:52:21 +02:00

mdl-style.rb

ci: add 'make test' target to validate CI job scripts

2020-05-27 12:52:21 +02:00

skip-doc-change.sh

ci: mark .commitlintrc.yml as doc-only

2020-08-19 10:04:19 +00:00