summaryrefslogtreecommitdiffstats
path: root/.github
diff options
context:
space:
mode:
authorDonatas Abraitis <donatas@opensourcerouting.org>2023-02-07 22:08:42 +0100
committerDonatas Abraitis <donatas@opensourcerouting.org>2023-03-03 09:05:53 +0100
commit8b40b2f65563e7cd0c4237307daf57334026a04c (patch)
treefe91a26fff60324ba10f0f029a1ef58c981c08a2 /.github
parentMerge pull request #12650 from isabelladeleon12/advertise_high_metrics (diff)
downloadfrr-8b40b2f65563e7cd0c4237307daf57334026a04c.tar.xz
frr-8b40b2f65563e7cd0c4237307daf57334026a04c.zip
tools: Add help url when commitlint fails
Just point to our workflow documentation. Signed-off-by: Donatas Abraitis <donatas@opensourcerouting.org>
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/commitlint.yml1
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/commitlint.yml b/.github/workflows/commitlint.yml
index f5a2e7d36..ea5b70418 100644
--- a/.github/workflows/commitlint.yml
+++ b/.github/workflows/commitlint.yml
@@ -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'