Skip to content
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

[1142] PR notifications for projects #1143

Draft
wants to merge 5 commits into
base: develop
Choose a base branch
from

Conversation

surajkumar
Copy link
Contributor

@surajkumar surajkumar commented Jul 29, 2024

Still in progress

About this PR

Introduces 1 slash command /link-gh-project and a new routine.

/link-gh-project:
This command is used to link a project posted in #projects to a GitHub repository. The term "linking" is used lighly because under the hood it's just saving the following details to the database:

  • channel ID
  • repository owner name
  • repository name
    There are checks done to ensure the repo is accessible before linking.

ProjectPRNotifierRoutine
This routine runs on a 10 minute schedule. It goes over all the projects and checks for any PRs that have been created since the last poll time and then sends the notification to discord.

This PR features verbose logging at various levels. Don't complain, they are there so we can follow the entire logic in the event of a bug/error. It's useful debugging. I won't change this.

closes #1142

@surajkumar surajkumar changed the title 1142 pr notifications [1142] PR notifications for projects Jul 29, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Sending PR notifications to project channels
1 participant