diff options
| author | georg | 2023-03-20 14:53:56 +0000 |
|---|---|---|
| committer | georg | 2023-03-20 15:11:02 +0000 |
| commit | 6fde80d3e36dd2f80121da103bc8846587a90aaa (patch) | |
| tree | e815856a9794a898302edc66565167760d639cd7 /.gitignore | |
| parent | 6c05360afad48d95e889c96e45fe748505fe6665 (diff) | |
CI: shallow clone repository and limit depth to 5
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.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions