Thanks Tristan!
Looking at the git fetch command line I'm not sure it should work at all:
--depth 10 is at the end, but man git fetch says it should be before the
refspec. And yet I never suspected it was the cause :)
I would have liked to also fetch a single branch, that would have made the
Hi all,
just a few notes on ci.infinispan.org:
- Added a permanent redirect rule from http to https
- Refreshed JDKs (9.0.4, 1.8.0_161, 1.8.0_sr5fp10)
- Updated Maven to 3.5.2 and Ant to 1.10.2
- Installed git 2.9.3 from the Software Collections to resolve the issue
of shallow clones not
