]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #12361 from opensourcerouting/fix/use_another_labaler
authorDonald Sharp <donaldsharp72@gmail.com>
Tue, 22 Nov 2022 01:07:46 +0000 (20:07 -0500)
committerGitHub <noreply@github.com>
Tue, 22 Nov 2022 01:07:46 +0000 (20:07 -0500)
github: Use `action-regex-match` action for adding `backport` label


Trivial merge