From b44ccb24d3d3fe3fe0a5a20012754307041144c9 Mon Sep 17 00:00:00 2001
From: Nils Dijk <nils@citusdata.com>
Date: Tue, 5 Sep 2023 12:40:59 +0200
Subject: [PATCH] use stable release of pgenv

---
 .devcontainer/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile
index 9bd720d01..2aeb8265b 100644
--- a/.devcontainer/Dockerfile
+++ b/.devcontainer/Dockerfile
@@ -47,7 +47,7 @@ RUN useradd -ms /bin/bash citus \
 WORKDIR /home/citus
 USER citus
 
-RUN git clone https://github.com/theory/pgenv.git .pgenv
+RUN git clone --branch v1.3.2 --depth 1 https://github.com/theory/pgenv.git .pgenv
 COPY --chown=citus:citus pgenv/config/ .pgenv/config/
 ENV PATH="/home/citus/.pgenv/bin:${PATH}"
 ENV PATH="/home/citus/.pgenv/pgsql/bin:${PATH}"