message no. 126474
Posted by qengho in #github at 2016-03-08T16:44:01Z
speial: I bet pushed-to repo names get put in a queue. Something goes through the queue. Render to a new location. If renderer succeeds, it moves new content into place. It's not a cache. It's just a static compilation.