Skip to content

Add Terminalbox remote-control plugin - #69

Open
dieteradant wants to merge 2 commits into
github:mainfrom
dieteradant:codex/add-terminalbox-remote-control
Open

Add Terminalbox remote-control plugin#69
dieteradant wants to merge 2 commits into
github:mainfrom
dieteradant:codex/add-terminalbox-remote-control

Conversation

@dieteradant

Copy link
Copy Markdown

Adds the external copilot-remote-control plugin from Anchras/terminalbox-tools to the official Copilot plugin marketplace and documents it in the External Plugins list.

What it does

The plugin provides a source-visible skill that:

  • checks the installed GitHub Copilot CLI before suggesting configuration;
  • explains the three official remote-control scopes;
  • helps choose a bounded keep-alive policy;
  • verifies that the session is reachable from the same GitHub account;
  • recommends the official local path whenever the current machine can stay online.

It does not ask for tokens, bypass organization policy, install software, edit Copilot settings, or enable remote access without explicit approval.

Disclosure

I maintain Terminalbox and Anchras/terminalbox-tools. The plugin is MIT-licensed and the setup workflow is free/local-first. It mentions a paid Terminalbox pane only when the user explicitly needs a session to survive laptop sleep or shutdown and has no suitable persistent host. Terminalbox is independent from GitHub, and GitHub Copilot access remains separate.

Verification

  • Marketplace JSON parses successfully.
  • Plugin names remain unique.
  • git diff --check passes.
  • The linked plugin is released in terminalbox-tools v0.5.0 and its manifest follows the Agent Plugins 1.0 schema.

Copilot AI balanced review requested due to automatic review settings August 8, 2026 21:18

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Adds Terminalbox’s remote-control skill to the official Copilot plugin marketplace.

Changes:

  • Registers the external copilot-remote-control plugin.
  • Documents its capabilities and optional persistent hosting.

Reviewed changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated 1 comment.

File Description
.github/plugin/marketplace.json Adds plugin metadata and external source.
README.md Lists and describes the external plugin.

💡 Add a code-review agent skill or configure MCP servers for context-aware, tailored reviews. Learn more in the docs.

Comment thread .github/plugin/marketplace.json Outdated
Comment on lines +455 to +456
"repo": "Anchras/terminalbox-tools",
"path": "plugins/copilot-remote-control"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants