Started on 03-Mar-2017 15:02:14
Using strategy: Default
[poll] Last Built Revision: Revision c91fa6d976da0d72164ecaa836db29f1f6540f6a (refs/remotes/origin/development)
 > /usr/bin/git ls-remote -h https://github.com/overturetool/vdm2c.git # timeout=10
Found 14 remote heads on https://github.com/overturetool/vdm2c.git
Ignoring refs/heads/kel/cmake-test-speedup as it doesn't match any of the configured refspecs
Ignoring refs/heads/mha/dist as it doesn't match any of the configured refspecs
Ignoring refs/heads/mha/dev as it doesn't match any of the configured refspecs
Ignoring refs/heads/mha/development as it doesn't match any of the configured refspecs
Ignoring refs/heads/mha/vdm2asn1 as it doesn't match any of the configured refspecs
Ignoring refs/heads/vpb/gc as it doesn't match any of the configured refspecs
Ignoring refs/heads/vpb/memcheck as it doesn't match any of the configured refspecs
Ignoring refs/heads/master as it doesn't match any of the configured refspecs
Ignoring refs/heads/pvj/version-numbers as it doesn't match any of the configured refspecs
Ignoring refs/heads/vpb/auto-gc as it doesn't match any of the configured refspecs
Ignoring refs/heads/vpb/dev as it doesn't match any of the configured refspecs
Ignoring refs/heads/vpb/development as it doesn't match any of the configured refspecs
Ignoring refs/heads/pvj/development as it doesn't match any of the configured refspecs
[poll] Latest remote head revision on refs/heads/development is: cc30967b844162960ef3df0483138fd24368024b
Done. Took 0.85 sec
Changes found