From c45264b190870e64b686776937a306dcd82ba574 Mon Sep 17 00:00:00 2001
From: Hans-Christoph Steiner <hans@eds.org>
Date: Thu, 23 Nov 2017 21:21:06 +0100
Subject: [PATCH] buildserver: use git from jessie-backports to get better
 workflow

A number of key features around username/password handling where added in
2.3, like GIT_SSH_COMMAND and GIT_TERMINAL_PROMPT.
---
 buildserver/provision-apt-get-install | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/buildserver/provision-apt-get-install b/buildserver/provision-apt-get-install
index a1b0f4b1..70f9acd8 100644
--- a/buildserver/provision-apt-get-install
+++ b/buildserver/provision-apt-get-install
@@ -50,8 +50,8 @@ packages="
  flex
  gettext/jessie-backports
  gettext-base/jessie-backports
- git-core
- git-svn
+ git-core/jessie-backports
+ git-svn/jessie-backports
  gperf
  graphviz
  imagemagick