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
I'll do another pass this week but stop here for now.
<!-- This is an auto-generated comment: release notes by coderabbit.ai
-->
## Summary by CodeRabbit
* **Documentation**
* Updated instructions and images to match recent user interface changes
for connecting Codio with GitHub.
* Clarified steps for creating new projects, including navigation
details.
* Revised instructions for enabling feedback links in LMS integrations,
including updated feature naming and location.
* Updated image references for grade weights in assignment settings.
* Clarified the process for generating a course share code, specifying
the need to save changes.
<!-- end of auto-generated comment: release notes by coderabbit.ai -->
Copy file name to clipboardExpand all lines: source/common/develop/ide/editing/connect-github-codio.rst
+14-21Lines changed: 14 additions & 21 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -7,20 +7,20 @@ Connecting a Codio Box to a GitHub Repo
7
7
=======================================
8
8
The first step to using GitHub in Codio is connecting your Codio and GitHub accounts. You only have to do this once. Follow these steps:
9
9
10
-
1. Click your user name in the bottom left of the main menu.
10
+
1. Click your username in the top-right corner, then select **Preferences** from the menu.
11
11
12
12
2. Click the **Applications** tab.
13
13
14
-
.. image:: /img/GitHub1.png
15
-
:alt:
14
+
.. image:: /img/gitHub1.png
15
+
:alt:The connecting GitHub dialog
16
16
17
17
3. In the GitHub section, click **Connect account** and log in to your Github account when prompted.
18
18
19
-
.. image:: /img/Github2.png
20
-
:alt:GitHub Connect Account
21
-
22
19
4. If you are using SSH connections, click **Upload public key** so Codio and Github can exchange keys.
23
20
21
+
.. image:: /img/gitHub2.png
22
+
:alt:Upload Public Key
23
+
24
24
In GitHub: Make a new repo
25
25
--------------------------
26
26
Each Codio box (Assignment, Book, or Project) can be mapped to a GitHub repo. This connection only needs to be established once per box.
@@ -118,20 +118,18 @@ To manually import a Git repo into Codio, follow these steps:
118
118
119
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>`.
120
120
121
-
2. Log in to Codio and click **New Project**.
122
-
123
-
3. Click the **Click here** link for more options.
121
+
2. Create a :ref:`new project <create-import-project>` or :ref:`add an assignment <add-remove-assignment>` to a course.
124
122
125
123
.. image:: /img/github-create.png
126
124
:alt:create from GitHub
127
125
128
-
4. In the **Select your Starting Point** area, click **Import**.
126
+
3. In the **Select your Starting Point** area, click **Import**.
129
127
130
-
5. From the **Source** drop-down list, choose **Git**.
128
+
4. From the **Source** drop-down list, choose **Git**.
131
129
132
-
6. Paste the Git URL into the **URL** field and add details about the project.
130
+
5. Paste the Git URL into the **URL** field and add details about the project.
133
131
134
-
7. Click **Create**. Codio loads the repo and displays it.
132
+
6. Click **Create**. Codio loads the repo and displays it.
135
133
136
134
A few Git helpers
137
135
-----------------
@@ -146,21 +144,16 @@ Disconnect Codio from a GitHub Account
146
144
147
145
Follow the steps below to disconnect your GitHub account:
148
146
149
-
1. Click your username in the bottom-left corner of the main menu.
147
+
1. Click your username in the top-right corner, then select **Preferences** from the menu.
150
148
151
149
2. Click the **Applications** tab.
152
150
153
151
3. In the GitHub section, click **Remove connection** to disconnect your GitHub account from Codio.
154
152
155
153
.. image:: /img/RemoveConnectionGithub.png
156
-
:alt:Remove Connection
157
-
158
-
4. A Remove connection confirmation screen will appear (please don’t close this screen until you complete the process)
159
-
160
-
.. image:: /img/delGithubConn.png
161
-
:alt:Delete Connection
154
+
:alt:Confirm removing GitHub connection
162
155
163
-
5. Enter the confirmation code provided and click **Yes** to disconnect your Codio account from the GitHub account.
156
+
4. A Remove connection confirmation screen will appear, click **Yes**.
164
157
165
158
.. Note:: When disconnecting your GitHub account or repository, note that this action does not remove the associated **SSH** key from the original repository. If you wish to revoke access, you will need to remove the **SSH** key manually in the repository settings on GitHub. However, you can leave the key in place if you plan to work with the original GitHub account again in the future.
0 commit comments