diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2019-08-14 15:54:24 +0200 |
|---|---|---|
| committer | Pietro Albini <pietro@pietroalbini.org> | 2019-08-14 15:54:33 +0200 |
| commit | a17ec550e03f71798ff2c87ff5a2fa82664e2a39 (patch) | |
| tree | f63ded6995baad70958ee62f7a27fa92cba18f6f /people | |
| parent | bef57d899ca64c84f1491756ff58d69b954f12d9 (diff) | |
ci: increase fetch depth
Diffstat (limited to 'people')
0 files changed, 0 insertions, 0 deletions