Skip to content

Conversation

Kobzol
Copy link
Member

@Kobzol Kobzol commented Nov 4, 2022

I think that this empty comment was caused by the bot sending an empty message in enqueue_shas after a PR is merged. I suppose that before the message was simply empty and thus GitHub ignored it and didn't create the comment, but now we add the HTML comment mark to it, so it's not empty, but it's still created without any visible content.

@Kobzol Kobzol requested a review from rylev November 4, 2022 22:42
@Mark-Simulacrum Mark-Simulacrum merged commit c79fd0e into master Nov 4, 2022
@Mark-Simulacrum Mark-Simulacrum deleted the gh-comment-empty branch November 4, 2022 22:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants