diff --git a/docs.json b/docs.json index e691a727..ffc68d62 100644 --- a/docs.json +++ b/docs.json @@ -228,6 +228,18 @@ "github": "https://github.com/All-Hands-AI/OpenHands" } }, + "banner": { + "content": "📢 **GitHub Org Rename:** All-Hands-AI to OpenHands on Monday Oct 20th at 18:00 UTC. [Migration details →](https://github.com/All-Hands-AI/OpenHands/issues/11376)", + "dismissible": true + }, + "head": [ + { + "tag": "link", + "attributes": { + "rel": "stylesheet" + } + } + ], "contextual": { "options": [ "copy", diff --git a/openhands/usage/troubleshooting/troubleshooting.mdx b/openhands/usage/troubleshooting/troubleshooting.mdx index 2adbde9e..262e3590 100644 --- a/openhands/usage/troubleshooting/troubleshooting.mdx +++ b/openhands/usage/troubleshooting/troubleshooting.mdx @@ -104,3 +104,29 @@ To fix this: [sandbox] vscode_port = 41234 ``` + +### GitHub Organization Rename Issues + +**Description** + +After the GitHub organization rename from `All-Hands-AI` to `OpenHands`, you may encounter issues with git remotes, Docker images, or broken links. + +**Resolution** + +* Update your git remote URL: + ```bash + # Check current remote + git remote get-url origin + + # Update SSH remote + git remote set-url origin git@github.com:OpenHands/OpenHands.git + + # Or update HTTPS remote + git remote set-url origin https://github.com/OpenHands/OpenHands.git + ``` +* Update Docker image references from `ghcr.io/all-hands-ai/` to `ghcr.io/openhands/` +* Find and update any hardcoded references: + ```bash + git grep -i "all-hands-ai" + git grep -i "ghcr.io/all-hands-ai" + ``` diff --git a/style.css b/style.css new file mode 100644 index 00000000..b5da77d4 --- /dev/null +++ b/style.css @@ -0,0 +1,4 @@ +#banner * { + /* Default banner showed white text on yellow in our theme */ + color: rgb(67, 66, 64); +}