Issues are sometimes closed multiple times, triggering the bot as many times. #334
Description
The issue was closed both by the PR and the commit that were merged. As a consequence, coqbot receives two webhooks that triggered its milestone changing procedure.
This seems like a minor annoyance that may not even be worth fixing.