What do we think about building an in-PR reporter? That’d probably be in the form of a single comment in the PR summarizing the current status of DeepSource’s analyzer (# of issues introduced / resolved) + a direct link to the PR overview. The going through the issues experience should probably still live in DeepSource for now.
My main issue with the current way of just using the GitHub status is that in order to get to DeepSource I have to click twice: the first time on “Details” in the PR screen, and then again in the “View more details on deepsource.io” link. It’s a small thing, but it adds a couple seconds to my workflow which is annoying when building many times.