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.

Sign up for GitHub

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

Jump to bottom

Paperbot: Consider replying on edited messages #5

Open
Bueddl opened this issue Jun 12, 2023 · 0 comments
Open

Paperbot: Consider replying on edited messages #5

Bueddl opened this issue Jun 12, 2023 · 0 comments
Labels
enhancement New feature or request question Further information is requested

Comments

@Bueddl
Copy link
Collaborator

Bueddl commented Jun 12, 2023

Right now the bot does not respond with information if a papernumber is added as an edit to a message. This is not very intuitive if you consider someone fixing a papernumber in the message. For example if someone accidently wrote:

[2552]

instead of:

[P2552]

We should consider reacting on changes messages if it does not create too much noise.
@Bueddl Bueddl added enhancement New feature or request question Further information is requested labels Jun 12, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request question Further information is requested
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@Bueddl