Stop posting status for non-mergeable pull requests

Fixes #145
If the function is no longer used, I suggest deleting it. We'll have it in git history if we need it back someday.