From 9c6d0fcb6ad297696a6c06f813ad0d35fb6e1783 Mon Sep 17 00:00:00 2001
From: Ian Rose <ian.rose@innovation.ca.gov>
Date: Wed, 20 Sep 2023 11:12:55 -0700
Subject: [PATCH] Add note to setup doc

---
 docs/setup.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/docs/setup.md b/docs/setup.md
index a0a015db..2f0c9630 100644
--- a/docs/setup.md
+++ b/docs/setup.md
@@ -1,5 +1,8 @@
 # Repository setup
 
+These are instructions for individual contributors to set up the repository locally.
+For instructions on how to develop using GitHub Codespaces, see [here](./codespaces.md).
+
 ## Install dependencies
 
 ### 1. Set up a Python virtual environment