Users should have an easy way to provide feedback about bad results. Ideally I would like to use reactions for that, but GitHub doesn't provide webhooks for reactions. The best solution would probably be to provide a link in the comment that users can use to report bad snippets (e.g.: https://rla-domain.example.com/report-bad-snippeted?job_id=42&provider=travis).
Users should have an easy way to provide feedback about bad results. Ideally I would like to use reactions for that, but GitHub doesn't provide webhooks for reactions. The best solution would probably be to provide a link in the comment that users can use to report bad snippets (e.g.:
https://rla-domain.example.com/report-bad-snippeted?job_id=42&provider=travis
).