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

A few small changes to the Discord Bot #357

Merged
merged 1 commit into from
Jan 4, 2023

Conversation

AlexanderHott
Copy link
Collaborator

These are small requests from @andreaskoepf to improve the discord bot.

  • The timeout of the private bot-session is set too low, please make it configurable in seconds, default to 600.
  • Please add a colon at the end of "Enter response here:"
  • Please move task instructions like "Reply with the numbers of best to worst replies separated by commas (example: '4,1,3,2')" to the bottom.. e.g. below the ranking-options, so that the comma delimited example is visible just above the discord-input text-box at the bottom of the screen.

Copy link
Collaborator

@andreaskoepf andreaskoepf left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I would suggest to move the timeout parameters also into the settings class. But the PR can be merged so far.

@andreaskoepf andreaskoepf merged commit 065e927 into LAION-AI:main Jan 4, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants