From 83000fdbc5fdc931f2e5c6d956bcf89da07adaf7 Mon Sep 17 00:00:00 2001
From: Steven Maude <git@stevenmaude.co.uk>
Date: Tue, 28 Nov 2023 13:08:20 +0000
Subject: [PATCH] Update Getting Started page to warn about Gitpod

We are no longer using it, but the Getting Started page needs some work
to switch over to Codespaces.
---
 docs/getting-started.md | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/docs/getting-started.md b/docs/getting-started.md
index da8e55078..1695fdfe6 100644
--- a/docs/getting-started.md
+++ b/docs/getting-started.md
@@ -22,6 +22,17 @@ To use the OpenSAFELY framework effectively, you need to:
 
 In this guide, we've documented two different ways to work with OpenSAFELY:
 
+!!! warning
+    This guide will be updated to use GitHub Codespaces,
+    instead of Gitpod.
+
+    Until this guide is updated,
+    you will find the following pages useful:
+
+    * the [introduction to GitHub Codespaces](github-codespaces.md)
+    * the [ehrQL tutorial](ehrql/tutorial/index.md)
+      that uses GitHub Codespaces to introduce you to ehrQL
+
 1. *Use an online environment where the needed software is already
    installed for you*.