problem history
[GitHub App user access tokens] Agent integrations break after 8 hours; refresh fails with 'bad_refresh_token' (refresh token invalid or expired after 6 months)
Revision reasons are not recorded in this slice.