-
Notifications
You must be signed in to change notification settings - Fork 3
docs: add comment about update notification feature in coreping #111
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: main
Are you sure you want to change the base?
Conversation
Add a comment noting the feature request for pinging when updates are made to previously-reviewed PRs. 🤖 Generated with [Claude Code](https://claude.com/claude-code) Co-Authored-By: Claude <[email protected]>
|
The latest updates on your projects. Learn more about Vercel for GitHub.
|
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 comment documenting a feature request for notifying reviewers when previously-reviewed PRs receive updates. The comment is placed at the top of the coreping task file, which handles PR review reminders.
Key Changes
- Added informal comment about a feature request for pinging on PR updates
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
| import z from "zod"; | ||
| import { upsertSlackMessage } from "../gh-desktop-release-notification/upsertSlackMessage"; | ||
|
|
||
| // yeah, if the bot could ping when updates have been made to a previously-reviewed PR, would be extremely helpful |
Copilot
AI
Nov 13, 2025
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.
This comment lacks important context for a feature request. Consider using a more structured format that includes:
- A TODO or FEATURE label for tracking
- Who requested this feature or where it was discussed
- A brief description of what "previously-reviewed PR" means in this context
Example:
// TODO: Feature request - Add notification when updates are made to previously-reviewed PRs
// This would ping reviewers when a PR they've already reviewed receives new commits
// Requested by: [name/team] or tracked in issue #[number]This makes it easier to track and understand the feature request in the future.
| // yeah, if the bot could ping when updates have been made to a previously-reviewed PR, would be extremely helpful | |
| // TODO: Feature request - Notify reviewers when updates are made to previously-reviewed PRs |
| import z from "zod"; | ||
| import { upsertSlackMessage } from "../gh-desktop-release-notification/upsertSlackMessage"; | ||
|
|
||
| // yeah, if the bot could ping when updates have been made to a previously-reviewed PR, would be extremely helpful |
Copilot
AI
Nov 13, 2025
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.
The informal tone of this comment ("yeah, if the bot could...") is inconsistent with the professional documentation style used elsewhere in this file. Consider rephrasing to match the existing documentation standards, such as:
// Feature request: Enable pinging when updates are made to previously-reviewed PRs| // yeah, if the bot could ping when updates have been made to a previously-reviewed PR, would be extremely helpful | |
| // Feature request: Enable pinging when updates are made to previously-reviewed PRs |
Summary
Test plan
🤖 Generated with Claude Code