Thanks for raising this topic.
Based on the comments I think it's safe to disable the bot comments.
I'll wait one or two more days to see if any voices requesting the bot-comments to stay/change will rise up (I don't expect that). Otherwise I'll disable the comments at all and leave just the github status check.
To the idea of editing one comment - we are using jenkins job builder plugin and I don't know if such functionality is there (I don't think so)
To Angel's nitpick - We are aware of the fact, that having jobs behind VPN is not community friendly at all. And it's on our to-do list to move them from there right after we move jobs from codenvy CI infra.
P.S.: I was quickly experimenting with putting the info from comment into the text of the status check, as it also supports markdown (
https://developer.github.com/v3/checks/runs/), but it seems that the `message` argument is limited with maximum size of 140 chars (this is not mentioned in the github docs), so it's not fit for our usecase. But anyway... The "details" link stays there and all required info should be accessible from there.