From 807a4d602c539a694ea0ad2f43be46f5891dc793 Mon Sep 17 00:00:00 2001
From: Nils Dijk <nils@citusdata.com>
Date: Tue, 22 Aug 2023 12:29:51 +0000
Subject: [PATCH] document what the concurency does in devcontainer builds

---
 .github/workflows/devcontainer.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/devcontainer.yml b/.github/workflows/devcontainer.yml
index 957c591be..c62fe11df 100644
--- a/.github/workflows/devcontainer.yml
+++ b/.github/workflows/devcontainer.yml
@@ -1,5 +1,8 @@
 name: "Build devcontainer"
 
+# Since building of containers can be quite time consuming, and take up some storage,
+# there is no need to finish a build for a tag if new changes are concurrently being made.
+# This cancels any previous builds for the same tag, and only the latest one will be kept.
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}
   cancel-in-progress: true