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
@@ -27,11 +24,20 @@ repository in a separate directory.
27
24
28
25
You can follow the instructions here on [how to fork and clone a Github repository](https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/working-with-forks/fork-a-repo).
29
26
30
-
## Open folder in container
27
+
## Share Git credentials with your container
31
28
32
-
> It is not recommended to develop locally and on remote containers using the same
33
-
folder since this may cause conflicts with Bazel. Instead you should clone the
34
-
repository in a separate directory.
29
+
The VS Code Dev Containers extension provides a few ways to share your local Git
30
+
credentials with your remote container.
31
+
32
+
If you cloned the Mesop repo using HTTPS, you can use a [Github CLI or Git Credential Manager](https://docs.github.com/en/get-started/getting-started-with-git/caching-your-github-credentials-in-git).
33
+
34
+
If you used SSH, then your local ssh agent will automatically be forwarded into your
35
+
remote container. All you need do is run the `ssh-add` command to add the ssh key you've
36
+
configured for GitHub access.
37
+
38
+
See the [Sharing Git credentials with your container page](https://code.visualstudio.com/remote/advancedcontainers/sharing-git-credentials) for full details.
39
+
40
+
## Open folder in container
35
41
36
42
Open VS Code, press `Cmd/Ctrl + Shift + P`, and select the `Dev Containers: Open Folder in Container...`
37
43
option. This will create a new workspace inside a remote container.
0 commit comments