From f12331ff33662bd075a24d1935d15b4206378d30 Mon Sep 17 00:00:00 2001
From: Donatas Abraitis <donatas@opensourcerouting.org>
Date: Fri, 3 Mar 2023 10:11:51 +0200
Subject: [PATCH] tools: Add missing `mgmtd` prefix for commitlint

Signed-off-by: Donatas Abraitis <donatas@opensourcerouting.org>
---
 .github/commitlint.config.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/commitlint.config.js b/.github/commitlint.config.js
index 7ed2a4d274..d23bd2d80b 100644
--- a/.github/commitlint.config.js
+++ b/.github/commitlint.config.js
@@ -18,6 +18,7 @@ module.exports = {
 				'isisd',
 				'ldpd',
 				'lib',
+				'mgmtd',
 				'multi',
 				'nhrpd',
 				'ospf6d',