Started on May 18, 2014 11:14:09 AM
Using strategy: Default
[poll] Last Built Revision: Revision 9cc6faf8b13c2233584acf0d44fac1688871ae56 (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 sec
Changes found