From: Donatas Abraitis <donatas@opensourcerouting.org>
Date: Tue, 7 Feb 2023 19:55:31 +0000 (+0200)
Subject: tools: Revalidate commits when PR is updated
X-Git-Tag: base_9.0~416^2~1
X-Git-Url: https://git.puffer.fish/?a=commitdiff_plain;h=0a18c855fd43110671ad1faa2335e102b4bb8a72;p=mirror%2Ffrr.git

tools: Revalidate commits when PR is updated

Trigger GH action also if labeled, unlabeled.

Signed-off-by: Donatas Abraitis <donatas@opensourcerouting.org>
---

diff --git a/.github/workflows/commitlint.yml b/.github/workflows/commitlint.yml
index a91c6174aa..8ed60aee3b 100644
--- a/.github/workflows/commitlint.yml
+++ b/.github/workflows/commitlint.yml
@@ -5,6 +5,9 @@ on:
     types:
       - opened
       - reopened
+      - synchronize
+      - labeled
+      - unlabeled
 
 jobs:
   lint: