diff options
| author | Guilherme Janczak <guilherme.janczak@yandex.com> | 2022-05-27 00:05:55 +0000 |
|---|---|---|
| committer | Eli Schwartz <eschwartz93@gmail.com> | 2022-05-26 20:47:39 -0400 |
| commit | 3c66be0c1d61d7fa7b2fe163440624c838ea4d33 (patch) | |
| tree | 336ca4b8d2c5605efdea390295e6e5443cc11d18 /docs/README.md | |
| parent | fda4c49c34f2650b739ebf741e45228c5ebafb0c (diff) | |
| download | meson-3c66be0c1d61d7fa7b2fe163440624c838ea4d33.tar.gz | |
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.
Diffstat (limited to 'docs/README.md')
| -rw-r--r-- | docs/README.md | 8 |
1 files changed, 0 insertions, 8 deletions
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] -``` |