message no. 140491
Posted by Zarthus in #github at 2016-06-25T23:29:56Z
But the point is a bit moot: if you are worried to this degree, you should set up your own CI server
Posted by Zarthus in #github at 2016-06-25T23:29:56Z