From a01dc54baa24797bb3f343eb8edfcd205dff8f0f Mon Sep 17 00:00:00 2001 From: Matthias Kretschmann Date: Wed, 14 Nov 2018 14:20:34 +0100 Subject: [PATCH] add dev-ocean as submodule --- .gitmodules | 3 +++ README.md | 2 +- external/dev-ocean | 1 + 3 files changed, 5 insertions(+), 1 deletion(-) create mode 100644 .gitmodules create mode 160000 external/dev-ocean diff --git a/.gitmodules b/.gitmodules new file mode 100644 index 00000000..f9469e9f --- /dev/null +++ b/.gitmodules @@ -0,0 +1,3 @@ +[submodule "external/dev-ocean"] + path = external/dev-ocean + url = https://github.com/oceanprotocol/dev-ocean diff --git a/README.md b/README.md index 18473cd2..c690d960 100644 --- a/README.md +++ b/README.md @@ -147,7 +147,7 @@ As a prerequisite you'll need on your machine: Clone this repo, install all dependencies, and start the development server: ```bash -git clone git@github.com:oceanprotocol/docs.git +git clone --recursive git@github.com:oceanprotocol/docs.git cd docs/ # add GITHUB_TOKEN diff --git a/external/dev-ocean b/external/dev-ocean new file mode 160000 index 00000000..6d3378fb --- /dev/null +++ b/external/dev-ocean @@ -0,0 +1 @@ +Subproject commit 6d3378fb8ac3d55bcf51ed44c3aacff750eecc39