New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

feat: add list issues/prs to github servlet #50

Merged

evacchi merged 2 commits into main from improve-github

Jan 28, 2025

Contributor

mhmd-azeez commented Jan 28, 2025

This PR adds gh-list-pull-requests and gh-list-issues tools to the github servlet, which I need for the Mastra AI tutorial


          feat: add list issues/prs to github servlet

a79a379

mhmd-azeez requested a review from evacchi

January 28, 2025 11:46


          add repo tools

8859ee3

Contributor Author

mhmd-azeez commented Jan 28, 2025

also added some repo tools

evacchi approved these changes

View reviewed changes

evacchi merged commit c3b189f into main

1 check passed

evacchi deleted the improve-github branch

January 28, 2025 13:18

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet