Bugzilla to GitHub Continued

[Quirin Schroll]

On Tuesday, 4 July 2023 at 10:34:44 UTC, Mike Parker wrote:
> * text from Bugzilla will be posted to GitHub in Markdown code 
> blocks to avoid formatting issues

Can we maybe have an automatic assessment if the comment happens 
to be Markdown already and if so, just use it?

Being aware of the transition, I filed issues and commented in 
Markdown syntax.