Skip to content
Snippets Groups Projects

Hot fix

Merged David Hrbáč requested to merge hot_fix into master
1 file
+ 8
1
Compare changes
  • Side-by-side
  • Inline
+ 8
1
@@ -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
Loading