+ [2019-11-21T21:28:47Z] eidax00 what does github use to convert md to html?
+ [2019-11-21T21:45:33Z] tang^ eidax00: probably something custom
+ [2019-11-21T21:46:25Z] tang^ the spec is easy enough to find... what tool they use to do the conversion...
+ [2019-11-21T21:48:01Z] tang^ eidax00: oh... https://github.com/github/markup

message no. 176063

Posted by acebrianjuan in #github at 2019-11-21T11:47:29Z

https://github.com/acebrianjuan/gnss-sdr-monitor/commit/f4bfd9a5903eff3d26be0232d32ad6cbf147f202/checks?check_suite_id=322075877
+ [2019-11-22T06:35:59Z] rjstone I have an actions question
+ [2019-11-22T06:36:19Z] rjstone should this work to build all pull request refs?
+ [2019-11-22T06:36:32Z] rjstone pull_request:
+ [2019-11-22T06:36:32Z] rjstone branches: