+ [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. 176067

Posted by alkisg in #github at 2019-11-21T15:18:26Z

Hi, I just used the ltsp.org custom domain to replace ltsp.github.io. Question: can I somehow redirect ltsp.github.io to ltsp.org until users and google learn the new one?
+ [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: