github.dev editor - clarifications (#31135)
Co-authored-by: hubwriter <hubwriter@github.com>
This commit is contained in:
@@ -30,13 +30,15 @@ The {% data variables.product.prodname_serverless %} provides many of the benefi
|
||||
|
||||
The {% data variables.product.prodname_serverless %} runs entirely in your browser’s sandbox. The editor doesn’t clone the repository, but instead uses the [GitHub Repositories extension](https://code.visualstudio.com/docs/editor/github#_github-repositories-extension) to carry out most of the functionality that you will use. Your work is saved in the browser’s local storage until you commit it. You should commit your changes regularly to ensure that they're always accessible.
|
||||
|
||||
You must be signed in to use the web-based editor.
|
||||
|
||||
## Opening the {% data variables.product.prodname_serverless %}
|
||||
|
||||
You can open any {% data variables.product.prodname_dotcom %} repository in the {% data variables.product.prodname_serverless %} in either of the following ways:
|
||||
|
||||
- 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 the same browser tab, press <kbd>.</kbd> 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 `.`.
|
||||
To open the repository in a new browser tab, press <kbd>></kbd>.
|
||||
|
||||
- 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**.
|
||||
|
||||
Reference in New Issue
Block a user