Problem

Gitpod has pivoted to Ona, which provides a completely different AI service, TL;DR long live gitpod

We should deprecate all usages of Gitpod in our docs and, if necessary, create a separate issue for migrating to github codespaces (if deemed useful and our existing workflow is easily amenable)

Reproducing the bug

1. Go to ...
2. Do ...

• Expected behavior:
• Actual behavior:

Context

• Browser (Chrome, Safari, Firefox, etc):
• OS (Windows, Mac, etc):
• Logged in (Y/N):
• Environment (prod, dev, local): prod

Breakdown

Requirements Checklist

• [ ]

Related files

Stakeholders

Instructions for Contributors

• Please run these commands to ensure your repository is up to date before creating a new branch to work on this issue and each time after pushing code to Github, because the pre-commit bot may add commits to your PRs upstream.