diff options
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] -``` |