jprdonnelly/docs
1
0
Fork 0
mirror of synced 2025-12-19 18:10:59 -05:00
Code Issues Projects Releases Wiki Activity

more changes

Browse Source
This commit is contained in:
Sophie
2022-05-31 17:35:45 +02:00
parent 9aa5c22f52
commit 36d9ebb3e8
18 changed files with 43 additions and 43 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -38,9 +38,9 @@ You can open any {% data variables.product.prodname_dotcom %} repository in the
- Press `.` while browsing any repository or pull request on {% data variables.product.prodname_dotcom %}.
- Change the URL from "github.com" to "github.dev".
## {% data variables.product.prodname_codespaces %} and the {% data variables.product.prodname_serverless %}
## {% data variables.product.prodname_github_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 %}|
|-|----------------|---------|