]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #11250 from opensourcerouting/feature/add_label_automatically_to_s...
authorDonald Sharp <donaldsharp72@gmail.com>
Wed, 25 May 2022 14:03:53 +0000 (10:03 -0400)
committerGitHub <noreply@github.com>
Wed, 25 May 2022 14:03:53 +0000 (10:03 -0400)
github: Add base branch label to every PR to distinguish easily


Trivial merge