Maximilian Luz 6c21326de8 pkg/debian: Speed up cloning of kernel tree ... Cloning the full branch takes quite a long time on the Ubuntu mainline repo. The idea was that this would enable us to use `git am -3`, i.e. 3way merges, but that quite often didn't work in practice anyways. So go back to a shallow clone.		2021-10-27 15:01:47 +02:00
..
workflows	pkg/debian: Speed up cloning of kernel tree	2021-10-27 15:01:47 +02:00
ISSUE_TEMPLATE.md	Add an issue template.	2019-12-30 21:01:58 +09:00