Closed TimothyStiles closed 7 months ago
I've removed any mention of GitPod from the tutorials section and fixed some typos.
GitPod broke a while back and it's a little too much to maintain for what it gives us. May find an alternative in the future but for now deleting
No
All of these must be satisfied before this PR is considered ready for merging. Mergeable PRs will be prioritized for review.
Changes in this PR
I've removed any mention of GitPod from the tutorials section and fixed some typos.
Why are you making these changes?
GitPod broke a while back and it's a little too much to maintain for what it gives us. May find an alternative in the future but for now deleting
Are any changes breaking? (IMPORTANT)
No
Pre-merge checklist
All of these must be satisfied before this PR is considered ready for merging. Mergeable PRs will be prioritized for review.