Skip to content

Sync next branch with main #590

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.

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

Merged
merged 16 commits into from
Jun 26, 2025
Merged

Sync next branch with main #590

merged 16 commits into from
Jun 26, 2025

Conversation

SamMorrowDrums
Copy link
Collaborator

πŸ”„ Branch Sync

This PR syncs the next branch with the latest changes from main.

Status:

  • Behind main: 16 commits
  • Ahead of main: 0 commits

What to do:

  1. πŸ” Review the changes in this PR
  2. βœ… Ensure all checks pass
  3. πŸ”€ Merge this PR to sync the next branch
  4. πŸ—‘οΈ The next branch will then be ready for new development

anant-rustagi and others added 16 commits June 25, 2025 16:26
- Add WithPagination() to tool definition
- Use OptionalPaginationParams to handle page and perPage parameters
- Pass pagination parameters to GitHub API ListFiles call
- Update tests to include pagination scenarios
- Update tool schema snapshot

Fixes #527

Co-authored-by: Anant rustagi <anantrustagi@Anants-MacBook-Pro.local>
Add description

Extract common code

Test fixes

Updated search description

Move search prs to prs toolset

Update tools snaps
* add a new release workflow

* improve release.yml to ensure that the ref is up-to-date

* add sync workflow
@Copilot Copilot AI review requested due to automatic review settings June 26, 2025 15:45
@SamMorrowDrums SamMorrowDrums requested a review from a team as a code owner June 26, 2025 15:45
@SamMorrowDrums SamMorrowDrums merged commit d13928e into next Jun 26, 2025
18 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants