How to delete a GitHub Codespace when you've reached the max of 20

You are on a repo that you love and you see that you have maxed out your allowed 20 Codespaces!!!

You’ll see this:

But there’s no link to delete a Codespace.

This may be obvious, but it took me a minute to figure this out.

Here’s how to delete Codespaces:

1. Go to https://github.com/codespaces
2. Find a Codespace you no longer use.

We have a GitHub issue to add a link to https://github.com/codespaces so people can figure this out on their own.

Jon