-
-
Notifications
You must be signed in to change notification settings - Fork 392
Add release PR workflow to auto update PR description #3607
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
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 introduces an automated workflow that updates a release PR’s description with milestone pull request information.
- Adds a GitHub Actions workflow (.github/workflows/release_pr.yml) triggered by pull request events and manual dispatch.
- Implements a Python script (.github/update_release_pr.py) that fetches milestone and PR data and updates the release PR description accordingly.
Reviewed Changes
Copilot reviewed 2 out of 2 changed files in this pull request and generated 3 comments.
File | Description |
---|---|
.github/workflows/release_pr.yml | Adds workflow configuration to trigger and update the release PR on specific events. |
.github/update_release_pr.py | Implements functions to fetch GitHub milestones and PRs and update the PR description with release notes. |
This comment has been minimized.
This comment has been minimized.
🥷 Code experts: no user matched threshold 10 See detailsTo 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. |
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
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 adds a workflow and helper script to automatically update a release pull request’s description with categorized lists of merged PR titles and numbers.
- Introduces a GitHub Actions workflow (
release_pr.yml
) to trigger on PR events againstmaster
and on-demand. - Adds
update_release_pr.py
to fetch milestone PRs, format release notes, and patch the PR description.
Reviewed Changes
Copilot reviewed 2 out of 2 changed files in this pull request and generated 6 comments.
File | Description |
---|---|
.github/workflows/release_pr.yml | Defines when and how to run the release‐PR update job |
.github/update_release_pr.py | Implements logic to gather PRs, build notes, and update the PR |
Comments suppressed due to low confidence (2)
.github/update_release_pr.py:6
- The parameters label and state are declared but not used inside this function. Consider removing them or implementing filtering here to keep the API consistent.
def get_github_prs(token: str, owner: str, repo: str, label: str = "", state: str = "all") -> list[dict]:
.github/update_release_pr.py:1
- No tests are provided for this script, making it harder to verify changes. Consider adding unit tests for core functions like get_github_prs and get_pr_descriptions.
from os import getenv
This comment has been minimized.
This comment has been minimized.
@check-spelling-bot Report🔴 Please reviewSee the 📂 files view, the 📜action log, or 📝 job summary for details.
See ❌ Event descriptions for more information. If the flagged items are 🤯 false positivesIf items relate to a ...
|
Automatically update release PR's description with the list of milestone PR title and number