You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Jun 15, 2024. It is now read-only.
Some use cases demand that more than one repository can be checked out into the same workspace.
At the moment, git support is very specific on only supporting one directory.
As a workaround, you can obviously use shell commands to check out repositories into a workspace yourself.
Maybe this could be tied in with the general purpose workspace to be implemented in #72 to create a composable, flexible solution, maybe something like this:
Some use cases demand that more than one repository can be checked out into the same workspace.
At the moment, git support is very specific on only supporting one directory.
As a workaround, you can obviously use shell commands to check out repositories into a workspace yourself.
Maybe this could be tied in with the general purpose workspace to be implemented in #72 to create a composable, flexible solution, maybe something like this:
(with-workspace checkout-foo checkout-bar do-something)
The text was updated successfully, but these errors were encountered: