]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #12759 from opensourcerouting/fix/revalidate_commit_on_pr_update
authorDonald Sharp <donaldsharp72@gmail.com>
Tue, 7 Feb 2023 20:13:50 +0000 (15:13 -0500)
committerGitHub <noreply@github.com>
Tue, 7 Feb 2023 20:13:50 +0000 (15:13 -0500)
tools: Revalidate commits when PR is updated


Trivial merge