diff --git a/content/codespaces/the-githubdev-web-based-editor.md b/content/codespaces/the-githubdev-web-based-editor.md index d9fd60eb47..de8ed69943 100644 --- a/content/codespaces/the-githubdev-web-based-editor.md +++ b/content/codespaces/the-githubdev-web-based-editor.md @@ -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. diff --git a/content/rest/codespaces/codespaces.md b/content/rest/codespaces/codespaces.md index 011c920797..cf77fb2b62 100644 --- a/content/rest/codespaces/codespaces.md +++ b/content/rest/codespaces/codespaces.md @@ -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: '*'