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.

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

CopilotAI 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.

FileDescription
.github/plugin/marketplace.jsonAdds plugin metadata and external source.
README.mdLists 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"

Copy link
Copy Markdown
Author

Choose a reason for hiding this comment

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

Addressed in f11a716: the marketplace source is now pinned to immutable ref v0.6.0 and commit e54ac34abe48a1cd18e745d16513048d2a11e3c1, and the README points to the same reviewed release.

Sign up for freeto 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

@dieteradant