MarcoFalke fa7bee13bf
lint: Use git clone --depth=1
No need to download and store more than that.
2024-07-22 17:30:12 +02:00
..
2024-07-22 17:30:12 +02:00
2024-03-21 20:15:08 +01:00