Update public server addresses #98
Conversation
Signed-off-by: Michael Yuan <[email protected]>
juntao
had a problem deploying
to
github-pages
GitHub Actions
Failure
There was a problem hiding this comment.
Pull request overview
This PR updates public server addresses across documentation files and fixes minor documentation inconsistencies. The primary change replaces deprecated server URLs with new ones hosted on fly.dev, while also improving clarity in regional server recommendations and device setup instructions.
Key changes:
- Updated public server URL from
indie.echokit.devtoechokit-server.fly.dev/wsas the default recommendation - Removed EU server option and consolidated regional server recommendations
- Added missing documentation links and improved formatting consistency
Reviewed changes
Copilot reviewed 5 out of 5 changed files in this pull request and generated 3 comments.
Show a summary per file
| File | Description |
|---|---|
| doc/docs/server/setup.md | Updated public server URL from indie.echokit.dev to echokit-server.fly.dev |
| doc/docs/hardware/flash-firmware.md | Added BOX device button references and fixed firmware download URL (board → boards) |
| doc/docs/get-started/echokit-server.md | Improved formatting of Chinese AI services notice |
| doc/docs/get-started/echokit-diy.md | Updated server list, removed EU option, consolidated regional recommendations, and clarified background image specs |
| doc/docs/get-started/echokit-box.md | Updated server list and added code formatting to server URLs |
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
| - Taiwan and southeast Asia: `ws://tw.echokit.dev/ws` | ||
| - Rest of the world: `ws://echokit-server.fly.dev/ws` | ||
| - Everyone: [run your own EchoKit server](echokit-server.md) | ||
| - **Background Image (Optional)**: Upload a transparent GIF image (320x240 px) as the background for the EchoKit device. |
There was a problem hiding this comment.
[nitpick] The description now says 'EchoKit device' which is less specific than the previous 'the device'. However, the original file had 'the device' without 'EchoKit'. Consider consistency: in echokit-box.md line 52, it says 'EchoKit device', but previously both files likely had different wording. Ensure consistent terminology across both DIY and BOX documentation.
Co-authored-by: Copilot <[email protected]>
Co-authored-by: Copilot <[email protected]>
juntao
had a problem deploying
to
github-pages
GitHub Actions
Failure
No description provided.