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
Copy file name to clipboardExpand all lines: source/common/develop/ide/editing/connect-github-codio.rst
+1-1Lines changed: 1 addition & 1 deletion
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -116,7 +116,7 @@ To manually import a Git repo into Codio, follow these steps:
116
116
.. figure:: /img/github-clone-url.png
117
117
:alt:create from GitHub
118
118
119
-
If you are cloning using SSH, you must have already added the Codio SSH public key as described in :ref:`Upload SSH Key to Remote Server <upload-ssh-key-remote-server>`.
119
+
If you are cloning using SSH, you must have already added the Codio SSH public key as described in :ref:`SSH Key <ssh-key>`.
120
120
121
121
2. Create a :ref:`new project <create-import-project>` or :ref:`add an assignment <add-remove-assignment>` to a course.
<strong>Note:</strong> If you are cloning using SSH, you must have already added the Codio SSH public key as described in <ahref="https://docs.codio.com/common/settings/upload-ssh-key-remote-server.html#upload-ssh-key-remote-server">Upload SSH Key to Remote Server</a>.
79
-
</div>
75
+
.. note::
76
+
If you are cloning using SSH, you must have already added the Codio SSH public key as described in :ref:`SSH Key <ssh-key>`.
77
+
80
78
81
79
Create New GitHub Repo From Codio
82
80
---------------------------------
@@ -89,15 +87,15 @@ If you have code in Codio and want to create a new GitHub (or other remote) repo
89
87
90
88
1. Create a new project in Codio or open up an existing project.
91
89
2. Open the terminal (**Tools > Terminal**), type **git init** and press **Enter** to initialize Git.
92
-
3. Create a new, empty repo on GitHub or other remote repo.
<strong>Note:</strong> If you're using GitHub, use the <strong>SSH url</strong> rather than <strong>https</strong>. Also make sure that your Codio public key is uploaded to your GitHub account or repo settings as described in <ahref="https://docs.codio.com/common/settings/upload-ssh-key-remote-server.html#upload-ssh-key-remote-server">Upload SSH Key to Remote Server</a>.
99
-
</div>
92
+
.. container:: float-right
100
93
94
+
.. note::
95
+
If you're using GitHub, use the **SSH url** rather than **https**. Also make sure that your Codio public key is uploaded to your GitHub account or repo settings as described in :ref:`SSH Key <ssh-key>`.
96
+
97
+
3. Create a new, empty repo on GitHub or other remote repo.
98
+
4. Copy the repo url to the clipboard.
101
99
5. In the Codio IDE, click **Tools > Git > Remotes** on the menu.
102
100
6. Click the **Edit** icon and enter the **Name** and paste the **URL** into the field. It is recommended you use **origin** as the name to confirm the normal standards. You do not need to specify a username or password if you are using SSH.
103
101
7. Click **Save**.
@@ -108,8 +106,6 @@ Github Commands
108
106
109
107
GitHub functions normally within Codio, giving you access to all the standard Git commands and GitHub features you're familiar with.
Copy file name to clipboardExpand all lines: source/common/tools/student-virtual-coach.rst
+2Lines changed: 2 additions & 0 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -9,6 +9,8 @@ Virtual Coach
9
9
10
10
The Virtual Coach can help you understand the error messages you have received, gain a better understanding of the assignment prompt, or receive a hint about the next possible steps.
11
11
12
+
.. note::
13
+
Virtual Coach responses may be AI-generated. Always verify suggestions against your assignment, course materials, and instructor guidance.
12
14
13
15
To open Virtual Coach, click the Chatbot icon at the bottom-right corner of the screen. This icon will only be available if your teachers enable this feature.
0 commit comments