diff options
| author |   Fatih Degirmenci <fdegir@gmail.com> | 2018-01-19 11:03:40 +0100 |
|---|---|---|
| committer | Fatih Degirmenci <fdegir@gmail.com> | 2018-01-19 11:05:48 +0100 |
| commit | 0e7e4aa75033978209e7719389f870a46a4c15e8 (patch) | |
| tree | 1a1f10dd6fb3eb712063c6c3de76826d279e1f75 /.gitmodules | |
| parent | 610fc338d1c7c650a8f60063be36b734adc6ebb4 (diff) | |
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 <fdegir@gmail.com>
Diffstat (limited to '.gitmodules')
| -rw-r--r-- | .gitmodules | 5 |
1 files changed, 0 insertions, 5 deletions
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 |