artin/sourcegraph
1
0
Fork 0
mirror of https://github.com/sourcegraph/sourcegraph.git synced 2026-02-06 19:21:50 +00:00
Code Issues Packages Projects Releases Wiki Activity

Changes names to reflect current UI (#25298)

Browse Source 
- change "manage repositories" to "manage code hosts"
- change "Add repository" to "Add code host"
This commit is contained in:
Jason Hawk Harris 2021-10-04 10:51:15 -05:00 committed by GitHub
parent 99dbe88215
commit face8b1c0b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
doc/code_intelligence/how-to/add_a_repository.md
View File

@ -22,7 +22,7 @@ img.screenshot {
<img src="https://sourcegraphstatic.com/docs/images/code-intelligence/add-repo-site-admin.png" class="screenshot">
2. In the **_Repositories_** section in the left bar, click on **_Manage repositories_**. If you have already configured a GitHub code host connection, click on the **_Edit_** button and skip to **step 5**. If you haven’t, click on **_Add repositories_**.
2. In the **_Repositories_** section in the left bar, click on **_Manage code hosts_**. If you have already configured a GitHub code host connection, click on the **_Edit_** button and skip to **step 5**. If you haven’t, click on **_Add code host_**.
<img src="https://sourcegraphstatic.com/docs/images/code-intelligence/manage-repositories.png" class="screenshot">
3. Click on the **_Github_** option.