Skip to content

Fix capitalization in Editor page #831

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Jun 19, 2025
Merged

Fix capitalization in Editor page #831

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 3 additions & 3 deletions editor.mdx
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -122,7 +122,7 @@ The web editor performs Git operations behind the scenes. Understanding these co
</Accordion>

<Accordion title="Pull request">
A way to propose merging your branch changes into your live documentation. Allows for review and discussion before changes go live.
A way to propose merging your branch changes into your live documentation. Allows for review and discussion before changes go live. Commonly called a PR.
</Accordion>

<Accordion title="Diff">
Expand Down Expand Up @@ -279,9 +279,9 @@ How your changes are published depends on which branch you are working on:
/>
</Frame>

## Pull Requests and reviewing changes
## Pull requests and reviewing changes

Pull requests (PRs) let you propose changes from your branch so that other people can review them before merging into your live documentation. This helps ensure that your changes are correct and gives your team a chance to collaborate on content.
Pull requests let you propose changes from your branch so that other people can review them before merging into your live documentation. This helps ensure that your changes are correct and gives your team a chance to collaborate on content.

<Tip>
Even if you're working solo, pull requests are valuable for previewing changes before they go live and maintaining a clear history of updates.
Expand Down