Started on May 18, 2014 10:13:43 AM
Using strategy: Default
[poll] Last Built Revision: Revision 13573a573e2064d872d0bb98ca228217b3507f28 (origin/master)
using GIT_SSH to set credentials 
using .gitcredentials to set credentials
Could not remove the credential section from the git configuration
Done. Took 2.9 sec
Changes found