From 0e7e4aa75033978209e7719389f870a46a4c15e8 Mon Sep 17 00:00:00 2001 From: Fatih Degirmenci Date: Fri, 19 Jan 2018 11:03:40 +0100 Subject: Remove infra repo from submodules Having infra in submodules result in generation of duplicated documentation such as for Pharos. As discussed, it is probably logical to keep source of the project documentation in corresponding project repos so they can be developed alongside the actual software so they can be reviewed and approved by the project committers. Change-Id: Ifda50d25d9a1b1e9bcf373713dc759f140fb046a Signed-off-by: Fatih Degirmenci --- .gitmodules | 5 ----- 1 file changed, 5 deletions(-) (limited to '.gitmodules') diff --git a/.gitmodules b/.gitmodules index fa3effe13..7bf4296c7 100644 --- a/.gitmodules +++ b/.gitmodules @@ -212,11 +212,6 @@ url = ../barometer branch = . ignore = dirty -[submodule "docs/submodules/infra"] - path = docs/submodules/infra - url = ../infra - branch = . - ignore = dirty [submodule "docs/submodules/releng-xci"] path = docs/submodules/releng-xci url = ../releng-xci -- cgit 1.2.3-korg