What happens when ID column reaches its max value - Dissecting GitHub Outage