Problem
Repo credentials are used to pull code from remote repo by runner, but they are not available inside the container. As a consequence, the user can't edit code (via code, notebook, or lab provider) and push changes back to the repo.
Solution
The runner should mount credentials inside the container before the run
Benefit
dstack dev environments become more useful and versatile
Alternatives
Right now the user has to install his credentials manually — it's inconvenient
Would you like to help contributing this feature?
Yes
Problem
Repo credentials are used to pull code from remote repo by runner, but they are not available inside the container. As a consequence, the user can't edit code (via
code,notebook, orlabprovider) and push changes back to the repo.Solution
The runner should mount credentials inside the container before the run
Benefit
dstack dev environments become more useful and versatile
Alternatives
Right now the user has to install his credentials manually — it's inconvenient
Would you like to help contributing this feature?
Yes