Skip to content

Commit 0b7ecd6

Browse files
committed
Update README.md
1 parent df8dd9f commit 0b7ecd6

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed

README.md

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -12,7 +12,7 @@ When it comes to editing Git-based documentation in the cloud, there are multipl
1212

1313
The choice of which solution to use depends on your specific needs and preferences. Whether you prioritize a comprehensive development environment, a lightweight web-based editor, or a fast and convenient editing experience, there is a solution available to suit your requirements.
1414

15-
## GitHub Codespaces
15+
### GitHub Codespaces
1616

1717
GitHub Codespaces provides a comprehensive development environment in the cloud, allowing you to easily edit and preview the documentation. It offers a full-featured development environment with a terminal, code editor, and integrated Git support. When you open the repository in GitHub Codespaces, the Dev Container with Devbox inside and the [VS Code extensions](#vs-code-preinstalled-extensions) will be automatically built and started.
1818

@@ -36,11 +36,11 @@ To use GitHub Codespaces, follow these steps:
3636
3737
[More info](https://docs.github.com/en/codespaces) about GitHub Codespaces.
3838
39-
## The github.dev Web-Based Editor
39+
### The github.dev Web-Based Editor
4040
4141
The github.dev editor introduces a lightweight editing experience that runs entirely in your browser. With the github.dev editor, you can navigate files and source code repositories from GitHub, and make and commit code changes. You can open any repository, fork, or pull request in the editor.
4242
43-
### Opening the github.dev editor
43+
#### Opening the github.dev editor
4444
4545
You can open the GitHub repository in `github.dev` in either of the following ways:
4646
@@ -55,7 +55,7 @@ Also, if you need more advanced features, you can navigate to Run and Debug sect
5555
5656
[More info](https://docs.github.com/en/codespaces/the-githubdev-web-based-editor) about the github.dev editor.
5757
58-
## Devbox Cloud
58+
### Devbox Cloud
5959
6060
Devbox Cloud is a fast alternative to GitHub Codespaces, allowing you to instantly preview changes in the documentation without setting up a local development environment. However, it doesn't provide a full-featured development environment with VS Code extensions like GitHub Codespaces.
6161

0 commit comments

Comments
 (0)