From 3c66be0c1d61d7fa7b2fe163440624c838ea4d33 Mon Sep 17 00:00:00 2001 From: Guilherme Janczak Date: Fri, 27 May 2022 00:05:55 +0000 Subject: don't tell documentation contributors to skip CI The CI correctly handles documentation changes automatically, it's no longer necessary to do it by hand. --- docs/README.md | 8 -------- 1 file changed, 8 deletions(-) (limited to 'docs/README.md') diff --git a/docs/README.md b/docs/README.md index 3a2626b2b..f6645d34e 100644 --- a/docs/README.md +++ b/docs/README.md @@ -30,11 +30,3 @@ You can simply run: ``` $ ninja -C built_docs/ upload ``` - -## Contributing to the documentation - -Commits that only change documentation should have `[skip ci]` in their commit message, so CI is not run (it is quite slow). -For example: -``` -A commit message [skip ci] -``` -- cgit v1.2.3