Cloning a github repo into the workspace - Coder.com