Started on Nov 28, 2020 3:00:00 AM
Using strategy: Default
[poll] Last Built Revision: Revision 31fab8da9a42ad87a7147bb9a4e29784ff634fcb (origin/master)
No credentials specified
 > /usr/local/bin/git --version # timeout=10
 > /usr/local/bin/git ls-remote -h -- /gitroot/emfcompare/org.eclipse.emf.compare.git # timeout=10
Found 25 remote heads on /gitroot/emfcompare/org.eclipse.emf.compare.git
[poll] Latest remote head revision on refs/heads/master is: cc190c9784ab5ee7b3e2ceb3bbb588a9097fe3f1
Done. Took 0.15 sec
Changes found