]> git.proxmox.com Git - mirror_frr.git/commitdiff
tools: Add help url when commitlint fails
authorDonatas Abraitis <donatas@opensourcerouting.org>
Tue, 7 Feb 2023 21:08:42 +0000 (23:08 +0200)
committerDonatas Abraitis <donatas@opensourcerouting.org>
Fri, 3 Mar 2023 08:05:53 +0000 (10:05 +0200)
Just point to our workflow documentation.

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

index f5a2e7d360e6ae9bd09e5561875aeea3d08ba839..ea5b7041883bfea4ba40176d8e447afbf1412444 100644 (file)
@@ -26,3 +26,4 @@ jobs:
         uses: wagoid/commitlint-github-action@v5
         with:
           configFile: .github/commitlint.config.js
+          helpURL: 'https://docs.frrouting.org/projects/dev-guide/en/latest/workflow.html#submitting-patches-and-enhancements'