1
0
mirror of synced 2026-01-07 00:01:39 -05:00

two more fixes

This commit is contained in:
Sophie
2022-07-12 16:04:26 +02:00
parent 1bd1a421d3
commit d00a598eca
2 changed files with 0 additions and 9 deletions

View File

@@ -36,16 +36,11 @@ 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".
<<<<<<< HEAD
## {% data variables.product.prodname_github_codespaces %} and the {% data variables.product.prodname_serverless %}
=======
- 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 %}
>>>>>>> main
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.

View File

@@ -1,10 +1,6 @@
---
title: Codespaces
<<<<<<< HEAD
intro: 'The {% data variables.product.prodname_github_codespaces %} API enables you to manage your codespaces using the REST API.'
=======
intro: The Codespaces API enables you to manage your codespaces using the REST API.
>>>>>>> main
versions:
fpt: '*'
ghec: '*'