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

Update with a Discord command #11

Closed
eibex opened this issue Feb 18, 2020 · 0 comments · Fixed by #12
Closed

Update with a Discord command #11

eibex opened this issue Feb 18, 2020 · 0 comments · Fixed by #12
Labels
enhancement Software improvement new feature A new feature would be introduced

Comments

@eibex
Copy link
Owner

eibex commented Feb 18, 2020

Using a command such as rl!update could trigger a git pull and restart the bot.
#10 needs to be implemented before this is feasible.

@eibex eibex added enhancement Software improvement new feature A new feature would be introduced labels Feb 18, 2020
@eibex eibex closed this as completed Feb 18, 2020
@eibex eibex linked a pull request Feb 18, 2020 that will close this issue
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement Software improvement new feature A new feature would be introduced
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant