Making GitHub PR comments useful again