skip documents missing in repository index, metanorma/iso-10303-srl#83 - Githubissues

metanorma / stepmod2mn

Migrating STEPmod documents to Metanorma

0 stars 1 forks source link

skip documents missing in repository index, metanorma/iso-10303-srl#83 #184

Closed Intelligent2013 closed 4 months ago

Intelligent2013 commented 4 months ago

Metanorma PR checklist

[ ] Breaking changes (list related PRs)
[ ] Documentation update required (create task for this)
[ ] External dependency introduced (documentation update need)
[ ] Gem with native library introduced