-
georg authored
The previous commit changed the strategy to 'clone', instead of 'fetch' as before. While this fixes permission errors, it is also slower, as an existing checkout of the repository will be ignored. To overcome this, this commit limits the depth to 5.
georg authoredThe previous commit changed the strategy to 'clone', instead of 'fetch' as before. While this fixes permission errors, it is also slower, as an existing checkout of the repository will be ignored. To overcome this, this commit limits the depth to 5.