-
-
Notifications
You must be signed in to change notification settings - Fork 381
release_pr GitHub workflow automatically get milestone from release PR #3758
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
base: dev
Are you sure you want to change the base?
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Pull Request Overview
This PR updates the GitHub workflow for release PRs to automatically retrieve the milestone number from the release PR instead of calculating it from the repository milestones.
- Removed milestone API calls and related logic from get_github_prs.
- Added an optional milestone_number parameter to get_prs to filter PRs by the milestone from the release PR.
- Updated logging and assignee filtering to reflect these changes.
Co-authored-by: Copilot <[email protected]>
🥷 Code experts: no user but you matched threshold 10 jjw24 has most 👩💻 activity in the files. See details
Activity based on git-commit:
Knowledge based on git-blame: To learn more about /:\ gitStream - Visit our Docs |
Be a legend 🏆 by adding a before and after screenshot of the changes you made, especially if they are around UI/UX. |
Rather than trying to work out the milestone, get it from the release PR.
TODO:
testing