]> git.puffer.fish Git - mirror/frr.git/commitdiff
tools: Revalidate commits when PR is updated
authorDonatas Abraitis <donatas@opensourcerouting.org>
Tue, 7 Feb 2023 19:55:31 +0000 (21:55 +0200)
committerDonatas Abraitis <donatas@opensourcerouting.org>
Tue, 7 Feb 2023 19:55:31 +0000 (21:55 +0200)
Trigger GH action also if labeled, unlabeled.

Signed-off-by: Donatas Abraitis <donatas@opensourcerouting.org>
.github/workflows/commitlint.yml

index a91c6174aa865550f756bf8b77013a11ee4b28c4..8ed60aee3b4a6fd96389e55e66a48aab3d68b6a9 100644 (file)
@@ -5,6 +5,9 @@ on:
     types:
       - opened
       - reopened
+      - synchronize
+      - labeled
+      - unlabeled
 
 jobs:
   lint: