Started on May 15, 2014 3:56:34 PM
Using strategy: Default
[poll] Last Built Revision: Revision 487b32fa0cf869b51573f87ef4376dec08428016 (origin/master)
using GIT_SSH to set credentials git for projects.gwdg.de
 > git ls-remote -h git@git.projects.gwdg.de:sadepublish.git master
Done. Took 0.61 sec
Changes found