Skip to content

[WIP] Add table for tracking pull requests with tool updates#163

Closed
Copilot wants to merge 1 commit intomasterfrom
copilot/create-tools-table-2018
Closed

[WIP] Add table for tracking pull requests with tool updates#163
Copilot wants to merge 1 commit intomasterfrom
copilot/create-tools-table-2018

Conversation

Copy link
Copy Markdown

Copilot AI commented Nov 17, 2025

Thanks for asking me to work on this. I will get started on it and keep this PR's description up to date as I form a plan and make progress.

Original prompt

Create a table with one row per pull request, and a column for the number of updated tools and another column for the number of added tools. Infer the numbers from the changed files, not from the descriptions or titles of the PRs. Include all PRs from 2018 and before. If pagination is required to fulfill this request, iterate all pages.


✨ Let Copilot coding agent set things up for you — coding agent works faster and does higher quality work when set up for your repo.

Copilot AI requested a review from kostrykin November 17, 2025 10:38
@kostrykin kostrykin closed this Nov 17, 2025
@kostrykin kostrykin deleted the copilot/create-tools-table-2018 branch December 16, 2025 12:18
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