Do not keep @mention people on merge commits

[tesuji]

I'm not sure it is the right fix or how to test it.
If you could point out, I will give a try.

Closes #99 .

[pietroalbini]

Homu uses pytest for tests, maybe you could add a test to make sure the suppress_pings function does what we want?

[tesuji]

That doesn't test escape pings from PR body. Till I don't know if it works as intended.
I could add a test for suppress_pings only if you find it is enough.

[pietroalbini]

Yeah it doesn't test that, but homu doesn't really have a test suite. You could write integration tests for all of it, but like, that's unreasonable to even ask :)

Given the current situation with homu tests, I think just testing that function to ensure it doesn't mess output up is enough.

[tesuji]

Done.

[tesuji]

This case is unfortunate, but I assume nobody use @bors r+ in PR body.

[pietroalbini]

Hmm, are you sure GitHub doesn't ping if in a commit the mention is inside a code block? My understanding is that GitHub completly ignores markdown there.

[tesuji]

let's try @pietroalbini.

[tesuji]

GitHub doesn't ping if in a commit the mention is inside a code block

I don't receive the pings, do you receive one with bfa1814 ?

[pietroalbini]

Neither did I! TIL

If you remove those two commits we're good to merge this.

[tesuji]

Removed. Thanks for the reviewing!