Blocking doesn't seem to work

[tormol]

While I don't get notified about the bots post any more, I still get subscribed to the pull request.
I would like to not ignore the project that uses this bot in case a human mentions me.

[jancborchardt]

Can confirm, as commented on #4 (comment)

[jancborchardt]

I contacted Github about the issue via https://github.com/contact – I encourage you to do the same since this is quite a pressing issue if it also doesn’t work for example to block people who are harassing you.