]> git.puffer.fish Git - matthieu/frr.git/commit
Merge pull request #15062 from opensourcerouting/fix/mark_as_failed_if_do_not_merge_l...
authorDonald Sharp <donaldsharp72@gmail.com>
Tue, 2 Jan 2024 15:38:34 +0000 (10:38 -0500)
committerGitHub <noreply@github.com>
Tue, 2 Jan 2024 15:38:34 +0000 (10:38 -0500)
commit077fc27c4a50f1e4db01a1f0526556890b9bdb83
tree47fbb31bacbc2dacb6f5d470e786de40f654ba3d
parent54c2d327d3d81850c93c62770b55ba427c0992ad
parentc733a38d849a75f64d529a7b148c699fc4e03de1
Merge pull request #15062 from opensourcerouting/fix/mark_as_failed_if_do_not_merge_labeled

github: Mark the build as failed if 'do not merge' label is set