From 16a3e90f74d45aaec0b15261ab7d62d343a17415 Mon Sep 17 00:00:00 2001 From: Steve Macenski Date: Tue, 25 Aug 2026 10:18:30 -0700 Subject: [PATCH] Simplify wording in dev containers documentation (#951) Signed-off-by: Steve Macenski (cherry picked from commit 4973403756ae31a7fbc25fcb9649495a716cf352) --- docs/getting_started/dev_container/index.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/getting_started/dev_container/index.md b/docs/getting_started/dev_container/index.md index 2f88c7ac4..bea8d5176 100644 --- a/docs/getting_started/dev_container/index.md +++ b/docs/getting_started/dev_container/index.md @@ -1,6 +1,6 @@ # Dev Containers { #dev-containers } -You can use dev containers to build the project if you prefer a streamlined setup experience. This means you can use the same tools and dependencies as the rest of the team, including our Continuous Integration (CI) workflows, without worrying about installing dependencies on your host machine. Additionally, using Dev Containers makes it simple to switch between local or remote development environments, such as GitHub Codespaces. +You can use dev containers to build the project if you prefer. This means you can use the same tools and dependencies as the rest of the team, including our Continuous Integration (CI) workflows, without worrying about installing dependencies on your host machine. Additionally, using Dev Containers makes it simple to switch between local or remote development environments, such as GitHub Codespaces. !!! info "See also"