Improve ignore documentation.

Author: gjb2048

docs/GHAFileExplained.md

@@ -109,13 +109,17 @@ jobs:
       # Run the default install.
       # Optionally, it is possible to specify a different Moodle repo to use
       # (git://github.com/moodle/moodle.git is used by default) and define
-      # ignore directives or any other env vars for install step.
+      # ignore directives or any other env vars for install step.  For more
+      # details on configuring for specific requirements please refer to the
+      # 'Help' page.
       #
       # env:
       #   MOODLE_REPO=git://github.com/username/moodle.git
       #   IGNORE_PATHS: 'ignore'
       #   IGNORE_NAMES: 'ignore_name.php'
       #   MUSTACHE_IGNORE_NAMES: 'broken.mustache'
+      #   CODECHECKER_IGNORE_PATHS: 'ignoreme'
+      #   CODECHECKER_IGNORE_NAMES: 'ignoreme_name.php'
       - name: Install moodle-plugin-ci
         run: |
           moodle-plugin-ci install --plugin ./plugin --db-host=127.0.0.1

docs/IgnoringFiles.md

@@ -38,8 +38,8 @@ variable names are the same as above, but prefixed with `COMMANDNAME_`.  Example
 env:
  global:
   - MOODLE_BRANCH=MOODLE_32_STABLE
-  - IGNORE_PATHS=vendor/widget,javascript/min-lib.js
-  - IGNORE_NAMES=*-m.js,bad_lib.php
+  - CODECHECKER_IGNORE_PATHS=vendor/widget,javascript/min-lib.js
+  - CODECHECKER_IGNORE_NAMES=*-m.js,bad_lib.php
   - PHPUNIT_IGNORE_PATHS=$IGNORE_PATHS,cli
  matrix:
   - DB=pgsql