From 5d96c30a64bdaef037c9dcc7a243e5a8684beba5 Mon Sep 17 00:00:00 2001
From: Sven Anderson <sven@redhat.com>
Date: Mon, 16 Nov 2015 18:12:55 +0100
Subject: [PATCH] use http instead of https for git repos

---
 Vagrantfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Vagrantfile b/Vagrantfile
index 6966b96..6de2feb 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -92,8 +92,8 @@ Vagrant.configure(VAGRANTFILE_API_VERSION) do |config|
     config.proxy.no_proxy += ",#{conf["devpi_server"]}" if conf["devpi_server"]
     config.vm.provision "shell", inline: <<-SHELL
       dnf install -y git
-      git config --system url."https://github.com/".insteadOf git@github.com:
-      git config --system url."https://".insteadOf git://
+      git config --system url."http://github.com/".insteadOf git@github.com:
+      git config --system url."http://".insteadOf git://
     SHELL
   end