Edit with GitHub dev (#28597)

* update edit-file-edit-button and add dropdown

Updated images for repository/edit-file

* Update repo-edit with dropdown

* update dev with dropdown

* Optimize images

* add line break

* Restoring the beta message

* Docs team edits

* Optimize images

Co-authored-by: github-actions <github-actions@github.com>
Co-authored-by: Lucas Costi <lucascosti@users.noreply.github.com>
Co-authored-by: hubwriter <hubwriter@github.com>

content/codespaces/the-githubdev-web-based-editor.md

@@ -2,8 +2,7 @@
 title: The github.dev web-based editor
 intro: 'Use the github.dev {% data variables.product.prodname_serverless %} from your repository or pull request to create and commit changes.'
 versions:
-  fpt: '*'
+  feature: 'githubdev-editor'
-  ghec: '*'
 type: how_to
 miniTocMaxHeadingLevel: 3
 topics:
@@ -37,6 +36,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".
+- 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 %}
 

data/features/githubdev-editor.yml

@@ -0,0 +1,5 @@
+# Reference: #4918, #7438.
+# Documentation for the github.dev web-based editor
+versions:
+  fpt: '*'
+  ghec: '*'

data/reusables/repositories/edit-file.md

@@ -1,2 +1,13 @@
 1. In the upper right corner of the file view, click {% octicon "pencil" aria-label="The edit icon" %} to open the file editor.
-![Edit file button](/assets/images/help/repository/edit-file-edit-button.png)
+
+   ![Edit file button](/assets/images/help/repository/edit-file-edit-button.png)
+
+   {% ifversion githubdev-editor -%}
+   {% note %}
+
+   **Note:** Instead of editing and committing the file using the default file editor, you can optionally choose to use the [github.dev code editor](/codespaces/the-githubdev-web-based-editor) by clicking the dropdown menu next to {% octicon "pencil" aria-label="The edit icon" %} and selecting **Open in github.dev**.
+
+   ![Edit file button dropdown](/assets/images/help/repository/edit-file-edit-dropdown.png)
+
+   {% endnote %}
+   {%- endif %}