I speculate that after a week-end of nightmare, he was just happy to have implemented a solution that offloaded those trillions of requests onto GitHub, has put

I speculate that after a week-end of nightmare, he was just happy to have implemented a solution that offloaded those trillions of requests onto GitHub, has put it behind him, and was not quite eager to make it his problem again.