Git Polling Log

Started on Oct 9, 2020 3:00:00 AM
Using strategy: Default
[poll] Last Built Revision: Revision 17747f9ebf63aa42578a19b0ba706898fa4244a3 (refs/remotes/origin/master)
The recommended git tool is: NONE
No credentials specified
 > git --version # timeout=10
 > git --version # 'git version 2.7.4'
 > git ls-remote -h https://github.com/open-mpi/hwloc # timeout=10
Found 33 remote heads on https://github.com/open-mpi/hwloc
Using strategy: Default
[poll] Last Built Revision: Revision 17747f9ebf63aa42578a19b0ba706898fa4244a3 (refs/remotes/origin/master)
The recommended git tool is: NONE
No credentials specified
 > git --version # timeout=10
 > git --version # 'git version 2.7.4'
 > git ls-remote -h https://github.com/open-mpi/hwloc # timeout=10
Found 33 remote heads on https://github.com/open-mpi/hwloc
Done. Took 1.2 sec
No changes