[INFO] cloning repository davidkna/theia
[INFO] running `"git" "clone" "--bare" "git://github.com/davidkna/theia.git" "work/cache/sources/gh/davidkna/theia"`
[INFO] [stderr] Cloning into bare repository 'work/cache/sources/gh/davidkna/theia'...
[INFO] [stderr] fatal: remote error: 
[INFO] [stderr]   Repository not found.
[ERROR] this task or one of its parent failed!
[ERROR] failed to clone davidkna/theia
[ERROR] caused by: command `"git" "clone" "--bare" "git://github.com/davidkna/theia.git" "work/cache/sources/gh/davidkna/theia"` failed
[ERROR]