GitHub Universe 2023 recap: AI-powered development