The library update seems to replace the abrupt closing of the app with no error
with actually raising an exception which we already handled.
So now failures look like this:
Requesting batch 10/17 of commit and pull request data.
Failed with status 502, retrying (1/10)...
Error fetching pull request data: FetchError: Invalid response body while trying to fetch https://api.github.com/graphql: Premature close
Terminating with an exit code 1.
The area prefix regex didn't include the `.` or `#` characters so it wasn't matching PRs with the prefix `[C#]` or `[.NET]`.
Also added a special case for `.NET` since some PRs use that as the prefix, but the classifier expects the group name `C#` instead.
This moves some processing from the frontend
to the server, which should speed things up a bit,
but costs slightly more in downloading.
We'll make more use of this data with further
improvements, so it makes sense to prepare the
data on the server.