Cannot create diff range extension pack for diff-informed queries; reverting to performing full analysis.

Error retrieving diff main...refs/pull/5718/head: Server Error: Sorry, this diff is taking too long to generate.: {"resource":"Comparison","field":"diff","code":"not_available"} - https://docs.github.com/rest/commits/commits#compare-two-commits