Editing Documentation
This guide explains how to edit and create documentation on our internal documentation site.
Editing Existing Pages
Each page in our documentation has an "Edit this page" icon in the top right corner. Click this icon to edit the page directly on GitHub.
- Click the pencil icon (✏️) at the top right of any page
- Make your changes in the GitHub editor
- At the bottom of the page, add a commit message describing your changes
- Click "Commit changes"
- Your changes will be reviewed and published automatically after approval
Creating New Pages
To create a new page:
- Go to the GitHub repository
- Navigate to the
docsfolder and the appropriate section - Click "Add file" > "Create new file"
- Name your file with a
.mdextension (e.g.,my-new-guide.md) - You can copy our page template as a starting point
- When finished, commit your changes as described above
Markdown Basics
Our documentation uses Markdown for formatting. Here are some basics:
# Heading 1
## Heading 2
### Heading 3
**Bold text**
*Italic text*
- Bullet point
- Another bullet point
1. Numbered item
2. Another numbered item
[Link text](https://example.com)

`inline code`
```python
# Code block with syntax highlighting
def function():
return True
Advanced Features
Our documentation system supports several advanced features:
Admonitions (Notes, Warnings, etc.)
!!! note "Optional Title"
This is a note admonition.
!!! warning
This is a warning admonition.
!!! tip
This is a tip admonition.
Task Lists
Tabs
Need Help?
If you need assistance with editing documentation, please contact the documentation team or open an issue on the GitHub repository.
Created: June 10, 2025 04:12:20
Last update: June 10, 2025 04:12:20