From 5a30b0507d9a0c3d709f04d4d3cca9c8d508614f Mon Sep 17 00:00:00 2001
From: Johann Kellerman <kellerza@gmail.com>
Date: Tue, 22 Jan 2019 09:21:43 +0200
Subject: [PATCH] Add git to the development Dockerfile (#20276)

* git_on_dev

* feedback
---
 virtualization/Docker/Dockerfile.dev | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/virtualization/Docker/Dockerfile.dev b/virtualization/Docker/Dockerfile.dev
index 41f447dff12..c01706782a0 100644
--- a/virtualization/Docker/Dockerfile.dev
+++ b/virtualization/Docker/Dockerfile.dev
@@ -33,6 +33,11 @@ RUN pip3 install --no-cache-dir -r requirements_all.txt && \
 
 # BEGIN: Development additions
 
+# Install git
+RUN apt-get update \
+  && apt-get install -y --no-install-recommends git \
+  && rm -rf /var/lib/apt/lists/*
+
 # Install nodejs
 RUN curl -sL https://deb.nodesource.com/setup_7.x | bash - && \
     apt-get install -y nodejs