Donatas Abraitis c733a38d84 github: Mark the build as failed if 'do not merge' label is set ... This prevents us from merging PRs marked as 'do not merge'. Signed-off-by: Donatas Abraitis <donatas@opensourcerouting.org>		2023-12-22 10:29:52 +02:00
..
ISSUE_TEMPLATE	github: Use checkboxes for issue templates	2022-04-19 13:23:22 +03:00
PULL_REQUEST_TEMPLATE	.github: move pr template to subdir	2019-03-29 16:51:58 +00:00
workflows	github: Mark the build as failed if 'do not merge' label is set	2023-12-22 10:29:52 +02:00
commitlint.config.js	tools: Do not force Sentence-case for commit messages	2023-03-03 14:10:36 +02:00