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.

1 files changed, 1 insertions, 2 deletions

diff --git a/skip_ci.py b/skip_ci.py
index 7411d57..4ade979 100755
--- a/skip_ci.py
+++ b/skip_ci.py
@@ -61,8 +61,7 @@ def main():
         if args.base_branch_origin:
             base = 'origin/' + base
         if all(is_documentation(f) for f in get_git_files(base)):
-            print("Don't run CI for documentation-only changes, add '[skip ci]' to commit title.")
-            print('See http://mesonbuild.com/Contributing.html#skipping-integration-tests')
+            print("Documentation change, CI skipped.")
             sys.exit(1)
     except Exception:
         # If this script fails we want build to proceed.