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

Discord Bots #109

Open
mochet opened this issue Feb 28, 2021 · 4 comments
Open

Discord Bots #109

mochet opened this issue Feb 28, 2021 · 4 comments
Labels
bot discord-bot enhancement New feature or request

Comments

@mochet
Copy link
Collaborator

mochet commented Feb 28, 2021

We will need several bots for Discord, in particular:

  • Identity bot that can tie a Telegram handle to an on-chain address/membership
  • Faucet bot (can maybe be adapted from the previous ones)
  • Forum bots for specific channels
  • Proposal bot for proposal channel
  • Council bot for council channel
  • Tip bot
@mochet
Copy link
Collaborator Author

mochet commented Mar 1, 2021

  • Voting bot for competitions, should be able to take a series of entries and allow users to vote using some mechanism. This is an important one for competitions until we get the poll feature on the forums as there's currently no real way to vote on the forums. This should also only allow those with a tied on-chain address to vote.

@mochet mochet added the enhancement New feature or request label Mar 1, 2021
@mochet
Copy link
Collaborator Author

mochet commented Mar 1, 2021

  • Role bot - By using on-chain identity we should be able to determine who holds specific roles and assign them the specified role within Discord. If enabled by a server admin, then people can tag the role and this will highlight the channel for all users having that role.

@freakstatic
Copy link
Collaborator

  • Mint bot - When the mint of a working group is low it posts a warning remembering to create a proposal to fill the mint

@traumschule
Copy link
Collaborator

traumschule commented Sep 1, 2021

@traumschule traumschule mentioned this issue Feb 21, 2022
49 tasks
@mochet mochet changed the title Dicord Bots Discord Bots Mar 13, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bot discord-bot enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

3 participants