]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #12690 from opensourcerouting/feature/deny_merging_prs_with_freeze...
authorDonald Sharp <donaldsharp72@gmail.com>
Fri, 27 Jan 2023 12:43:02 +0000 (07:43 -0500)
committerGitHub <noreply@github.com>
Fri, 27 Jan 2023 12:43:02 +0000 (07:43 -0500)
github: Prevent merging (fail CI) if 'freeze' label exists for PR


Trivial merge