From d00a598ecaa70602ec8adfbefef334493d19beb1 Mon Sep 17 00:00:00 2001 From: Sophie <29382425+sophietheking@users.noreply.github.com> Date: Tue, 12 Jul 2022 16:04:26 +0200 Subject: [PATCH] two more fixes --- content/codespaces/the-githubdev-web-based-editor.md | 5 ----- content/rest/codespaces/codespaces.md | 4 ---- 2 files changed, 9 deletions(-) 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: '*'