]> git.puffer.fish Git - mirror/frr.git/commit
projects / mirror / frr.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eba1c1e) | patch
github: Mark the build as failed if 'do not merge' label is set 15062/head
authorDonatas Abraitis <donatas@opensourcerouting.org>
Fri, 22 Dec 2023 08:29:52 +0000 (10:29 +0200)
committerDonatas Abraitis <donatas@opensourcerouting.org>
Fri, 22 Dec 2023 08:29:52 +0000 (10:29 +0200)
commitc733a38d849a75f64d529a7b148c699fc4e03de1
tree3934e4e59e5f46dc226dd1433957ac5dab54e0e3tree | snapshot
parenteba1c1e23bd6f8cdba53de47f68112993e8fde77commit | 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>
.github/workflows/freeze.yml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.