Skip to content
Create a gist now

Instantly share code, notes, and snippets.

This script is used to execute a build on Integrity ( every time there is a git push.
ACTUAL_COMMIT=`git ls-remote git:// master | cut -f1`
if [ "$ACTUAL_COMMIT" != "$LAST_COMMIT" ]; then
wget --post-data="" -t 1 -q
wget --post-data="" -t 1 -q
sleep 5
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Something went wrong with that request. Please try again.