diff --git a/README.md b/README.md index 5c401b3..4a7fc23 100644 --- a/README.md +++ b/README.md @@ -21,15 +21,6 @@ Pullfrog is a GitHub bot that brings the full power of your favorite coding agents into GitHub. It's open source and powered by GitHub Actions. - - - **Tag `@pullfrog`** — Tag `@pullfrog` in a comment anywhere in your repo. It will pull in any relevant context using the action's internal MCP server and perform the appropriate task. - **Prompt from the web** — Trigger arbitrary tasks from the Pullfrog dashboard - **Automated triggers** — Configure Pullfrog to trigger agent runs in response to specific events. Each of these triggers can be associated with custom prompt instructions. @@ -40,7 +31,7 @@ Once added, you can start triggering agent runs. --> - PR review requested - and more... -Pullfrog is the bridge between GitHub and your preferred coding agents and GitHub. Use it for: +Pullfrog is the bridge between your preferred coding agents and GitHub. Use it for: - **🤖 Coding tasks** — Tell `@pullfrog` to implement something and it'll spin up a PR. If CI fails, it'll read the logs and attempt a fix automatically. It'll automatically address any PR reviews too. - **🔍 PR review** — Coding agents are great at reviewing PRs. Using the "PR created" trigger, you can configure Pullfrog to auto-review new PRs. diff --git a/main.ts b/main.ts index 7e9da22..1aab9ea 100644 --- a/main.ts +++ b/main.ts @@ -49,6 +49,7 @@ type ApiKeySetup = export async function main(inputs: Inputs): Promise { const timer = new Timer(); + // `await using` ensures the token is automatically revoked when the function exits await using tokenRef = await setupGitHubInstallationToken(); let payload: Payload | undefined;