Gitpod, best known for cloud-hosted dev environments, has rebranded as Ona and is now pitching itself as an AI agent platform ...