[Pharo-dev] Request-info bot on github

Hello, just asking if this behaviour is normal: - I created an issue with an empty body. - The request-info bot posted a message to it, saying it was empty and asking for more details. It also added the "more-information-needed" label. - I updated the body of the issue - Now the issue no longer has an empty body, but it still has the message from the bot and the label. The issue in question: https://github.com/pharo-project/pharo/issues/3025 Thomas