Closed
Description
We need to update the buttons to match the new logo / branding
- gitpod.io/button/open-in-gitpod.svg (there are other rarely used variants)
- https://img.shields.io/badge/Gitpod-ready--to--code-blue?logo=gitpod (it has blue in its name 🙄 )