New repos in metanorma found
Closed this issue · 1 comments
github-actions commented
Review new discovered repositories during run https://github.com/metanorma/ci/actions/runs/7522669548:
- asciirfc.github.io
And add them to cimas-config/cimas.yml with the right set of files