summaryrefslogtreecommitdiffstats
path: root/.github
diff options
context:
space:
mode:
authorDonatas Abraitis <donatas@opensourcerouting.org>2023-03-03 09:11:51 +0100
committerDonatas Abraitis <donatas@opensourcerouting.org>2023-03-03 09:11:51 +0100
commitf12331ff33662bd075a24d1935d15b4206378d30 (patch)
tree8bfe5e9ff8d7ed3026af5c1559a7a0ffb72ed0b1 /.github
parenttools: Add missing `pathd` prefix for commitlint (diff)
downloadfrr-f12331ff33662bd075a24d1935d15b4206378d30.tar.xz
frr-f12331ff33662bd075a24d1935d15b4206378d30.zip
tools: Add missing `mgmtd` prefix for commitlint
Signed-off-by: Donatas Abraitis <donatas@opensourcerouting.org>
Diffstat (limited to '.github')
-rw-r--r--.github/commitlint.config.js1
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/commitlint.config.js b/.github/commitlint.config.js
index 7ed2a4d27..d23bd2d80 100644
--- a/.github/commitlint.config.js
+++ b/.github/commitlint.config.js
@@ -18,6 +18,7 @@ module.exports = {
'isisd',
'ldpd',
'lib',
+ 'mgmtd',
'multi',
'nhrpd',
'ospf6d',