Skip to content

Instantly share code, notes, and snippets.

@0atman

0atman/jenkins.sh

Created September 2, 2013 14:57
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save 0atman/6413761 to your computer and use it in GitHub Desktop.
Save 0atman/6413761 to your computer and use it in GitHub Desktop.
Download ZIP
A fix for jenkin's inefficient SCM methods
Raw
jenkins.sh
git pull || (cd ../ && rmdir workspace && git checkout repo.git workspace && cd workspace)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment