Have a script to export a github issue with comments into .md document

[mooskagh]

We have quite a few issues that require such conversion.

[Dboingue]

I have identified the need to use GitHub Rest API version 3. Will I encounter permission problems from the lc0 repository? I expect not as the repository is public as well as issues (and pull requests, which are considered issues per the API, can be filtered though).

Edit: Script. Did you had any API target for this script in mind when writing this issue. GitHub, or Hugo (perhaps modifying some migration code for content platforms like WordPress).?

Perhaps the Hugo way would be more direct, as having human readable content as focus? Or a mixture of both, GitHub to read, Hugo to write.

Then we might as well do both separately, allow workshop intermediate step of inspecting the results and human filtering.

If anybody know of ways to save time on finding or creating these scripts, then we could do the inspection sooner.