Error retrieving diff main...refs/pull/6415/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