Factor out all scripts under .github/scripts into an own easily reusable repository - Githubissues

emmo-repo / EMMO

Elementary Multiperspective Material Ontology (EMMO)

Other

62 stars 16 forks source link

Factor out all scripts under .github/scripts into an own easily reusable repository #126

Open jesper-friis opened 3 years ago

jesper-friis commented 3 years ago

Make a new repository with tools for publishing

inferred ontology
the ontology in a few common formats (rdf/xml, turtle, ...)
generated documentation (html, pdf)

for each release.

This should be easy to use on both github and gitlab supporting GitHub Pages, GitLab Pages, +++ as targets.