]> git.puffer.fish Git - matthieu/frr.git/commitdiff
Merge pull request #11281 from opensourcerouting/fix/gh_actions
authorDonald Sharp <donaldsharp72@gmail.com>
Thu, 26 May 2022 11:32:11 +0000 (07:32 -0400)
committerGitHub <noreply@github.com>
Thu, 26 May 2022 11:32:11 +0000 (07:32 -0400)
github: Use pull_request_target as a target


Trivial merge