Started on Jan 16, 2018 2:12:00 AM
Using strategy: Default
 > /usr/local/bin/git --version # timeout=10
 > /usr/local/bin/git ls-remote -h git://git.eclipse.org/gitroot/ecoretools/org.eclipse.ecoretools.git # timeout=10
Found 5 remote heads on git://git.eclipse.org/gitroot/ecoretools/org.eclipse.ecoretools.git
[poll] Latest remote head revision on refs/heads/3.1 is: 46da0fae4454ec94bd30492e850d6095d6ec42d5
Done. Took 0.11 sec
Changes found