]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #12958 from opensourcerouting/fix/commitlint_master_branch
authorDonald Sharp <donaldsharp72@gmail.com>
Mon, 6 Mar 2023 14:45:17 +0000 (09:45 -0500)
committerGitHub <noreply@github.com>
Mon, 6 Mar 2023 14:45:17 +0000 (09:45 -0500)
tools: Do not run commit linter for other branches than master


Trivial merge