From: Donald Sharp Date: Tue, 7 Feb 2023 20:13:50 +0000 (-0500) Subject: Merge pull request #12759 from opensourcerouting/fix/revalidate_commit_on_pr_update X-Git-Tag: base_9.0~416 X-Git-Url: https://git.puffer.fish/?a=commitdiff_plain;h=bbdbc828b3414635cf8947d873c2d980fe69c91a;p=mirror%2Ffrr.git Merge pull request #12759 from opensourcerouting/fix/revalidate_commit_on_pr_update tools: Revalidate commits when PR is updated --- bbdbc828b3414635cf8947d873c2d980fe69c91a