From 118c3e1730b9e0966fc8277a42ed3d632ed0968f Mon Sep 17 00:00:00 2001
From: Pedro Alvarez <pedro.alvarez@codethink.co.uk>
Date: Mon, 15 Feb 2016 12:32:47 +0000
Subject: Change URL of gcc lorry to use git:// protocol

Using https://gcc.gnu.org/git/gcc.git caused some problems:

    2016-02-15 12:06:43 ERROR Traceback (most recent call last):
      File "/usr/bin/lorry", line 114, in process_args
        self.gitify(name, specs[name])
      File "/usr/bin/lorry", line 232, in gitify
        table[vcstype](name, dirname, gitdir, spec)
      File "/usr/bin/lorry", line 341, in mirror_git
        cwd=gitdir, env=env)
      File "/usr/bin/lorry", line 554, in run_program
        (' '.join(argv), exit, self.indent(err or '')))
    Exception: git remote update origin --prune failed (exit code 1):
        error: Unable to find 85ced2664167557af596e1676432abb85762e7a9 under https://gcc.gnu.org/git/gcc.git
        Cannot obtain needed tree 85ced2664167557af596e1676432abb85762e7a9
        while processing commit abcfc310c53d93093a538417e9abd07a371d8ec5.
        error: fetch failed.
        error: Could not fetch origin

Change-Id: I41f5d6a748b91af46e2d0a124d5776a76286e951
---
 open-source-lorries/gcc.lorry | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/open-source-lorries/gcc.lorry b/open-source-lorries/gcc.lorry
index 106e508..1117013 100644
--- a/open-source-lorries/gcc.lorry
+++ b/open-source-lorries/gcc.lorry
@@ -1,6 +1,6 @@
 {
     "gcc": {
         "type": "git",
-        "url": "https://gcc.gnu.org/git/gcc.git"
+        "url": "git://gcc.gnu.org/git/gcc.git"
     }
 }
-- 
cgit v1.2.1