search

PiekJ / jambot

Discord bot for playing music in voice channels.
https://jambot.red
MIT License
4 stars 1 forks source link

Let other developers restart the bot on the server #15

Closed carstenflokstra closed 1 year ago

carstenflokstra commented 1 year ago

Why

Sometimes the bot will have a state where it is no longer available. In order to solve this, a restart could be sufficient to do. Now, only @PiekJ can restart the bot on his own hosted instance.

What

It would be cool if the rest of the developers that have access to this repo can also restart the bot in case @PiekJ isn't available.

How

Maybe we can create a Github Action to restart the bot via somekind of a webhook. Or we can create an admin panel hosted somewhere we can login via our Github Accounts.

PiekJ commented 1 year ago

This is now resolved. Collabs can start a deploy from GitHub Actions.