-
Notifications
You must be signed in to change notification settings - Fork 1.6k
chore: switch course-updater to weekly on Monday and add duplicate PR prevention #98
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
Changes from all commits
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
| Original file line number | Diff line number | Diff line change | ||||
|---|---|---|---|---|---|---|
| @@ -1,8 +1,8 @@ | ||||||
| --- | ||||||
| name: "Course Updater" | ||||||
| description: "Daily check for new GitHub Copilot CLI features and updates. Opens a PR if the course content needs updating." | ||||||
| description: "Weekly check (Mondays) for new GitHub Copilot CLI features and updates. Opens a PR if the course content needs updating." | ||||||
| on: | ||||||
| schedule: daily | ||||||
| schedule: weekly on monday | ||||||
| workflow_dispatch: | ||||||
| tools: | ||||||
| bash: ["curl", "gh"] | ||||||
|
|
@@ -37,25 +37,29 @@ Look for: | |||||
| - Significant changes to existing features (renames, deprecations) | ||||||
| - New customization options (e.g. instructions, agents, skills, MCP, plugins) | ||||||
|
|
||||||
| ## Step 2 — Compare against the current course content and existing PRs | ||||||
| ## Step 2 — Check for existing open PRs to avoid duplicates | ||||||
|
|
||||||
| Before doing any content comparison, list all open pull requests in this repo that have the `automated-update` or `copilot-cli-updates` labels. Read their titles and descriptions to understand which features or changes each PR already covers. Build a list of features that are **already addressed** by existing PRs — you must exclude those features from any updates you propose later. If every feature you found in Step 1 is already covered by an open PR, stop here and report that no new updates are needed. | ||||||
|
||||||
| Before doing any content comparison, list all open pull requests in this repo that have the `automated-update` or `copilot-cli-updates` labels. Read their titles and descriptions to understand which features or changes each PR already covers. Build a list of features that are **already addressed** by existing PRs — you must exclude those features from any updates you propose later. If every feature you found in Step 1 is already covered by an open PR, stop here and report that no new updates are needed. | |
| Before doing any content comparison, list all open pull requests in this repo that have **either** the `automated-update` label **or** the `copilot-cli-updates` label. Do this with an explicit OR-capable query, or by fetching PRs for each label separately and then unioning and deduplicating the results, so PRs that have only one of the labels are not missed. Read their titles and descriptions to understand which features or changes each PR already covers. Build a list of features that are **already addressed** by existing PRs — you must exclude those features from any updates you propose later. If every feature you found in Step 1 is already covered by an open PR, stop here and report that no new updates are needed. |
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.
Step 2 requires enumerating open PRs and reading their titles/descriptions. In the compiled workflow, the agent job’s GITHUB_TOKEN permissions are limited to
contents: read, which can causegh pr list/PR API calls to fail with “Resource not accessible by integration”. Consider either (a) grantingpull-requests: readto the agent job token, or (b) explicitly instructing the agent to use the GitHub MCPgithubtool (which is already configured withGITHUB_MCP_SERVER_TOKEN) to list PRs instead of relying onghauth.