#GitHubUniverse is over. I had a great and productive time. By 5:30 PM, it was clear everyone was ready to go.