Started on 08-Mar-2017 15:20:45
Using strategy: Default
[poll] Last Built Revision: Revision f84d3012437d95119be29685f8faa23e14693dd2 (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: 38eb99a1a152af2cb50d2661bf185440691390d2
Done. Took 0.91 sec
Changes found