jprdonnelly/docs
1
0
Fork 0
mirror of synced 2025-12-22 11:26:57 -05:00
Code Issues Projects Releases Wiki Activity

Merge branch 'main' of https://github.com/github/docs into fix-links-to-feedback-discussions

Browse Source
This commit is contained in:
Nick McCurdy
2022-07-19 06:22:27 -04:00
parent a56fde7040 001859c124
commit 619aa2e9cd
4323 changed files with 64735 additions and 1326223 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
content/codespaces/the-githubdev-web-based-editor.md
View File

@@ -2,8 +2,7 @@
title: The github.dev web-based editor
intro: 'Use the github.dev {% data variables.product.prodname_serverless %} from your repository or pull request to create and commit changes.'
versions:
fpt: '*'
ghec: '*'
feature: 'githubdev-editor'
type: how_to
miniTocMaxHeadingLevel: 3
topics:
@@ -35,12 +34,18 @@ The {% data variables.product.prodname_serverless %} runs entirely in your bro
You can open any {% data variables.product.prodname_dotcom %} repository in the {% data variables.product.prodname_serverless %} in either of the following ways:
- Press `.` while browsing any repository or pull request on {% data variables.product.prodname_dotcom %}.
- To open the repository in the same browser tab, press `.` while browsing any repository or pull request on {% data variables.product.prodname_dotcom %}.
To open the repository in a new browser tab, hold down the shift key and press `.`.
- Change the URL from "github.com" to "github.dev".
- When viewing a file, use the dropdown menu next to {% octicon "pencil" aria-label="The edit icon" %} and select **Open in github.dev**.
![Edit file button dropdown menu](/assets/images/help/repository/edit-file-edit-dropdown.png)
## {% data variables.product.prodname_codespaces %} and the {% data variables.product.prodname_serverless %}
Both the {% data variables.product.prodname_serverless %} and {% data variables.product.prodname_codespaces %} allow you to edit your code straight from your repository. However, both have slightly different benefits, depending on your use case.
Both the {% data variables.product.prodname_serverless %} and {% data variables.product.prodname_github_codespaces %} allow you to edit your code straight from your repository. However, both have slightly different benefits, depending on your use case.
|| {% data variables.product.prodname_serverless %} | {% data variables.product.prodname_codespaces %}|
|-|----------------|---------|