Connect Grep to GitHub Copilot
Give GitHub Copilot governed access to Grep’s 1 tools through Runlayer, with identity, policy, scanning, and audit on every call.
Set up
Add Grep to GitHub Copilot in four steps
Admins approve the server once. Everyone in GitHub Copilot then gets it through the same governed connection.
- 1
Approve Grep in Runlayer
Add Grep from the catalog and choose who can use it and which of its tools are allowed.
- 2
Connect GitHub Copilot to Runlayer
GitHub Copilot gets connector tools through the Runlayer Plugin, and reaches Grep’s 1 tool through the plugin’s search and execute tools.
GitHub Copilot setup guide - 3
Sign in to Grep
Sign in the way Grep requires. Runlayer holds the credentials so they stay out of the client’s configuration.
- 4
Use Grep from GitHub Copilot
Grep’s approved tools appear in GitHub Copilot. Every call is checked against policy and recorded.
Tools
1 Grep tools in GitHub Copilot
Runlayer policy decides which of these GitHub Copilot users can call.
Search git hub
Find real-world code examples from over a million public GitHub repositories to help answer programming questions.
Control
What Runlayer can see and stop in GitHub Copilot
Some controls apply to every client at the gateway. Others depend on what GitHub Copilot exposes to Runlayer.
Gateway policy (available)
Every Grep call from GitHub Copilot passes through Runlayer, where your policies can allow, alert, mask, or block it.
Audit trail (available)
Each call is recorded with the user, GitHub Copilot as the client, the tool, and the policy and scanner decisions.
Native enforcement adapter (not available)
Runlayer has no device-side adapter for GitHub Copilot yet, so control happens at the gateway.
Frequently asked questions
Connect more