git subtree push --prefix doc/MicaDoc/target/site origin gh-pages

git clone -b ontology https://github.com/gloucklegnou/MICA.git ontology

git subtree push --prefix dev/MICAOntologies/ontology  origin ontology  

riot --out JSONLD  MicaOntology.rdf >MicaOntology.json