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

add GitHub integration functionality to post in a channel when a contributor PR is merged #412

Open
josefaidt opened this issue Mar 28, 2023 · 0 comments
Labels
area: bot Issue pertains to Discord Bot type: feature-request New feature or request

Comments

@josefaidt
Copy link
Contributor

josefaidt commented Mar 28, 2023

Describe the Feature

Each time a PR is merged in an organization's public repository and the author is not an organization member (i.e. "staff"), post a message in a channel. We will need:

  • new table to store PR URL's, time of post, and channel it was posted to
  • new field on Guild Configuration table to store channel chosen for these posts
  • add/update corresponding GitHub docs (especially if we need additional permissions)
  • readonly frontend page (e.g. /admin/github/contributors)
    • this can also be expanded to enable Admins to optionally grant "contributor" label in Discord if we also have their Discord username
@josefaidt josefaidt added needs: triage type: feature-request New feature or request area: bot Issue pertains to Discord Bot and removed needs: triage labels Mar 28, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area: bot Issue pertains to Discord Bot type: feature-request New feature or request
Projects
None yet
Development

No branches or pull requests

1 participant