GitHub adds agentic capabilities to its Copilot coding assistant, competing with other more asynchronous coding platforms.