+ [2019-07-08T07:04:27Z] R2robot what's the error?
+ [2019-07-08T20:38:52Z] jugglinmike Is anyone here familiar with the security model for GitHub actions? I'm trying to understand if/how/when they run for pull requests from non-collaborators
+ [2019-07-08T20:40:02Z] jugglinmike And if it makes a difference whether they've been configured with access to the GITHUB_TOKEN secret
+ [2019-07-08T20:52:05Z] relipse If I have a paid repository, what is the max size of the repo?
+ [2019-07-08T20:52:07Z] relipse private

message no. 174106

Posted by jugglinmike in #github at 2019-07-08T20:40:02Z

And if it makes a difference whether they've been configured with access to the GITHUB_TOKEN secret
+ [2019-07-09T20:05:33Z] mq Hello! I am trying to build brave from github and can't connect to github via ssh
+ [2019-07-09T20:06:04Z] mq is it the same to get the source from https://github.com/...?
+ [2019-07-09T20:15:00Z] R2robot ssh would be something like git@github.com
+ [2019-07-09T20:16:14Z] R2robot mq: https://help.github.com/en/articles/connecting-to-github-with-ssh