diff options
| author | Donald Sharp <donaldsharp72@gmail.com> | 2024-01-02 10:38:34 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-01-02 10:38:34 -0500 |
| commit | 077fc27c4a50f1e4db01a1f0526556890b9bdb83 (patch) | |
| tree | 47fbb31bacbc2dacb6f5d470e786de40f654ba3d /zebra/interface.c | |
| parent | 54c2d327d3d81850c93c62770b55ba427c0992ad (diff) | |
| parent | c733a38d849a75f64d529a7b148c699fc4e03de1 (diff) | |
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
Diffstat (limited to 'zebra/interface.c')
0 files changed, 0 insertions, 0 deletions