From 2d378683650225006b87509e15951ae7d4ae0e7a Mon Sep 17 00:00:00 2001
From: Olivier DEBAUCHE <olivier.debauche@umons.ac.be>
Date: Thu, 17 Jun 2021 22:44:18 +0200
Subject: [PATCH] Update Dockerfile

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

diff --git a/Dockerfile b/Dockerfile
index 8bd6607..7ae5ae1 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -138,7 +138,7 @@ RUN mkdir -p /home/renderer/src \
 # Configure stylesheet
 RUN mkdir -p /home/renderer/src \
  && cd /home/renderer/src \
- && git clone -b master https://github.com/gravitystorm/openstreetmap-carto.git --depth 1 \
+ && git clone --single-branch --branch v5.3.1 https://github.com/gravitystorm/openstreetmap-carto.git --depth 1 \
  && cd openstreetmap-carto \
  && rm -rf .git \
  && npm install -g carto \