Skip to content

feat(workflow): add merged PR discord reminder for GSSoC labels#409

Merged
ShantKhatri merged 6 commits into
Dev-Card:mainfrom
Harxhit:merge-reminder
May 31, 2026
Merged

feat(workflow): add merged PR discord reminder for GSSoC labels#409
ShantKhatri merged 6 commits into
Dev-Card:mainfrom
Harxhit:merge-reminder

Conversation

@Harxhit
Copy link
Copy Markdown
Collaborator

@Harxhit Harxhit commented May 30, 2026

Summary

Adds an automated GitHub workflow that posts a reminder comment when a pull request is merged. The workflow congratulates contributors and reminds them to contact the maintainers on Discord for GSSoC label assignment and contributor recognition. It also ignores selected maintainer accounts to avoid unnecessary notifications.


Type of Change

  • New feature
  • Bug fix
  • Refactor (no functional change)
  • UI / Design change
  • Tests only
  • Documentation
  • Infrastructure / DevOps
  • Security

What Changed

  • Added a new GitHub Actions workflow to trigger on merged pull requests.
  • Added discordPinReminder.js script to post automated reminder comments on merged PRs.
  • Added ignore-user handling to skip reminders for selected maintainer accounts.

How to Test

  1. Open a test pull request from a non-ignored contributor account.
  2. Merge the pull request and verify the workflow runs successfully.
  3. Confirm a congratulatory comment is posted with Discord/GSSoC label instructions.

Checklist

  • My code follows the project's coding style (pnpm -r run lint passes).
  • TypeScript compiles without errors (pnpm -r run typecheck).
  • I have added or updated tests for the changes I made.
  • All tests pass locally (pnpm -r run test).
  • I have updated documentation where necessary.
  • No new console.log or debug statements left in the code.
  • Breaking changes are documented in this PR description.

Additional Context

This workflow only triggers for newly merged pull requests and does not process previously merged PRs. Manual triggering via workflow_dispatch remains available for testing and maintenance.

@Harxhit Harxhit requested a review from ShantKhatri May 30, 2026 08:25
@Harxhit
Copy link
Copy Markdown
Collaborator Author

Harxhit commented May 30, 2026

@ShantKhatri Please look into this.

@Harxhit Harxhit added devops gssoc:approved Required label for every approved PR. Gives the base +50 points and enables contribution tracking. labels May 30, 2026
@ShantKhatri ShantKhatri merged commit 82a70f1 into Dev-Card:main May 31, 2026
1 of 2 checks passed
@Harxhit Harxhit added level:critical High-impact or difficult contribution affecting core functionality. (+80 pts) quality:exceptional Outstanding contribution with excellent implementation quality. (×1.5 multiplier) type:performance Performance optimization (+15 pts) type:refactor Code refactoring/cleanup (+10 pts) type:devops CI/CD, infra, deployment, workflow work (+15 pts) labels May 31, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

devops gssoc:approved Required label for every approved PR. Gives the base +50 points and enables contribution tracking. level:critical High-impact or difficult contribution affecting core functionality. (+80 pts) quality:exceptional Outstanding contribution with excellent implementation quality. (×1.5 multiplier) type:devops CI/CD, infra, deployment, workflow work (+15 pts) type:performance Performance optimization (+15 pts) type:refactor Code refactoring/cleanup (+10 pts)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants