Started on Feb 7, 2018 3:46:01 AM
Using strategy: Default
 > /usr/local/bin/git --version # timeout=10
 > /usr/local/bin/git ls-remote -h git://git.eclipse.org/gitroot/libra/org.eclipse.libra.git # timeout=10
Found 5 remote heads on git://git.eclipse.org/gitroot/libra/org.eclipse.libra.git
[poll] Latest remote head revision on refs/heads/master is: ee6400126bb2887189ebdf6a452b7b2d6fb3ca70
Done. Took 0.5 sec
Changes found