diff options
| author | Donatas Abraitis <donatas@opensourcerouting.org> | 2023-12-22 10:29:52 +0200 |
|---|---|---|
| committer | Donatas Abraitis <donatas@opensourcerouting.org> | 2023-12-22 10:29:52 +0200 |
| commit | c733a38d849a75f64d529a7b148c699fc4e03de1 (patch) | |
| tree | 3934e4e59e5f46dc226dd1433957ac5dab54e0e3 /lib/command.c | |
| parent | eba1c1e23bd6f8cdba53de47f68112993e8fde77 (diff) | |
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>
Diffstat (limited to 'lib/command.c')
0 files changed, 0 insertions, 0 deletions