Skip to content

Commit

Permalink
Update content/codespaces/the-githubdev-web-based-editor.md
Browse files Browse the repository at this point in the history
  • Loading branch information
sophietheking committed May 24, 2024
1 parent 8122918 commit db87093
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion content/codespaces/the-githubdev-web-based-editor.md
Original file line number Diff line number Diff line change
Expand Up @@ -144,4 +144,4 @@ If you have issues opening {% data variables.codespaces.serverless %}, try the f
- The {% data variables.codespaces.serverless %} editor is currently supported in Chrome (and various other Chromium-based browsers), Edge, Firefox, and Safari. We recommend that you use the latest versions of these browsers.
- Some keybindings may not work, depending on the browser you are using. These keybinding limitations are documented in the "[Known limitations and adaptations](https://code.visualstudio.com/docs/remote/codespaces#_known-limitations-and-adaptations)" section of the {% data variables.product.prodname_vscode_shortname %} documentation.
- `.` may not work to open {% data variables.codespaces.serverless %} according to your local keyboard layout. In that case, you can open any {% data variables.product.prodname_dotcom %} repository in {% data variables.codespaces.serverless %} by changing the URL from `github.com` to `github.dev`.
- When intensively writing documentation or code on the web-editor, some commits can't be pushed. To solve this problem, wait a few minutes for the api rate limit to reset.
- When intensively writing documentation or code in the web editor, you might encounter issues with pushing some commits. To resolve this, wait a few minutes for the API rate limit to reset.

0 comments on commit db87093

Please sign in to comment.