]> git.puffer.fish Git - mirror/frr.git/commit
projects / mirror / frr.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8cd0ea3) | patch
tools: Add missing `mgmtd` prefix for commitlint 12943/head
authorDonatas Abraitis <donatas@opensourcerouting.org>
Fri, 3 Mar 2023 08:11:51 +0000 (10:11 +0200)
committerDonatas Abraitis <donatas@opensourcerouting.org>
Fri, 3 Mar 2023 08:11:51 +0000 (10:11 +0200)
commitf12331ff33662bd075a24d1935d15b4206378d30
tree8bfe5e9ff8d7ed3026af5c1559a7a0ffb72ed0b1tree | snapshot
parent8cd0ea3c824f624b0e9ae52fc92d0b6166a43fa0commit | diff
tools: Add missing `mgmtd` prefix for commitlint

Signed-off-by: Donatas Abraitis <donatas@opensourcerouting.org>
.github/commitlint.config.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.