Merge branch 'hot_fix' into 'master'

Disable rm JSON

See merge request !124

.gitlab-ci.yml

@@ -41,9 +41,9 @@ 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
+  - 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