+ [5 years ago] eidax00 what does github use to convert md to html?
+ [5 years ago] tang^ eidax00: probably something custom
+ [5 years ago] tang^ the spec is easy enough to find... what tool they use to do the conversion...
+ [5 years ago] tang^ eidax00: oh... https://github.com/github/markup

message no. 176061

Posted by acebrianjuan in #github at 2019-11-21T11:40:04Z

I am testing this now: https://github.com/acebrianjuan/gnss-sdr-monitor/commit/1aca4715137abb34681c5cf0f12b730d777f288b/checks?check_suite_id=322071197
+ [5 years ago] rjstone I have an actions question
+ [5 years ago] rjstone should this work to build all pull request refs?