@Marc
One remark: based on your info I investigated a bit and it seems it is actually github's hubot. Github acknowledges that there may be some issues, since they are upgrading their systems. That fits with the time span from the recent responsiveness issues.
So it is one thing that we now have a responsive forum, but what about github?
Are we using it? (I thought not, we use gitlab, but I may be wrong)