reduce git clone depth to speed up CI