search

metanorma / metanorma-docker

Docker container for running the Metanorma toolchain
https://www.metanorma.com
5 stars 3 forks source link

#80 add ietf to test pool #94

Closed CAMOBAP closed 3 years ago

CAMOBAP commented 3 years ago
CAMOBAP commented 3 years ago

@ronaldtse iho is broken should be exclude it or wait for fix

ronaldtse commented 3 years ago

@CAMOBAP ready to merge?

CAMOBAP commented 3 years ago

@ronaldtse formal, yes, in fact, if we will merge this it will turn our release process to hell. All because of an annoying network timeout issue. I am just wondering, can we mirror workgroup somehow to make it more stable?

As far as I understand we just get XML resources from https://tools.ietf.org/wg/..., why we cannot implement some crawler which will push all required resources to github repo, we can even do this with github action, I just need to know what should we grab from https://tools.ietf.org and what is the appropriate format to store it

ronaldtse commented 3 years ago

As far as I understand we just get XML resources from https://tools.ietf.org/wg/..., why we cannot implement some crawler which will push all required resources to github repo, we can even do this with github action, I just need to know what should we grab from https://tools.ietf.org and what is the appropriate format to store it

I agree. Let's make a "relaton-ietf-wg" that mirrors the data we need from tools.ietf.org in a structure that we desire. This also means that "relaton-ietf" will directly use that data instead of tools.ietf.org. We can setup a daily cron job with GHA for data updates.

CAMOBAP commented 3 years ago

Closed as outdated