GitHub is making a bold bet that enterprises don't need another proprietary coding agent. They need a way to manage all of them.