[00:02] <guiverc> MikeRL, this maybe of help https://wiki.ubuntu.com/KernelTeam/GitKernelBuild
=== Pici` is now known as Pici