GitHub Universe 2023 day 2 keynote: The productivity platform for all developers