Merge branch 'hot_fix' into 'master'

Disable rm JSON

See merge request !123

.gitlab-ci.yml

@@ -41,17 +41,17 @@ ext_links:
   allow_failure: true
   #after_script:
   #- rm *.json
-  script:
+  #script:
   #- find docs.it4i/ -name '*.md' -exec grep --color -l http {} + | xargs awesome_bot -t 10
   #- find docs.it4i/ -name '*.md' -exec grep --color -l http {} + | xargs awesome_bot -t 10 --allow-dupe --allow-redirect
-  - |
-    COMMIT_MESSAGE=$(git log -1 --pretty=%B | grep "Merge branch 'hot_fix' into 'master'" )
-    if [[ ${COMMIT_MESSAGE} == *hot_fix* ]]; then
-      echo "Skipping ci build"
-      exit 0
-    else
-      find docs.it4i/ -name '*.md' ! -name 'modules-*.md' -exec grep --color -l http {} + | xargs awesome_bot -t 10 --allow-dupe --allow-redirect
-    fi
+  #- |
+  #  COMMIT_MESSAGE=$(git log -1 --pretty=%B | grep "Merge branch 'hot_fix' into 'master'" )
+  #  if [[ ${COMMIT_MESSAGE} == *hot_fix* ]]; then
+  #    echo "Skipping ci build"
+  #    exit 0
+  #  else
+  #    find docs.it4i/ -name '*.md' ! -name 'modules-*.md' -exec grep --color -l http {} + | xargs awesome_bot -t 10 --allow-dupe --allow-redirect
+  #  fi
   only:
   - master