Merge branch 'hot_fix' into 'master'

Hot fix

See merge request !112

.gitlab-ci.yml

@@ -44,7 +44,14 @@ ext_links:
   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' ! -name 'modules-*.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
   only:
   - master