]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #12760 from opensourcerouting/fix/switch_to_pr_for_commitlint
authormobash-rasool <mrasool@vmware.com>
Thu, 2 Mar 2023 07:54:28 +0000 (13:24 +0530)
committerGitHub <noreply@github.com>
Thu, 2 Mar 2023 07:54:28 +0000 (13:24 +0530)
tools: Replace pull_request_target to pull_request for commitlint action


Trivial merge