**** BEGIN LOGGING AT Sun Dec 29 03:00:00 2019 **** BEGIN LOGGING AT Sun Dec 29 06:23:55 2019 Dec 29 10:25:44 what's the `repo` command used to get the sources in the docs? https://docs.halium.org/en/latest/porting/get-sources.html Dec 29 10:26:22 oh, nevermind, it's a command you're supposed to install Dec 29 10:45:34 it's pakcaged on my distro as git-repo **** ENDING LOGGING AT Mon Dec 30 02:59:57 2019