latest 20 messages by choice

+ [2020-05-22T19:07:43Z] choice So I will just wait and see if it get solved.
+ [2020-05-22T19:07:32Z] choice A bit of googling shows that many have that prob.
+ [2020-05-22T18:58:36Z] choice What can I do?
+ [2020-05-22T18:58:20Z] choice Workflows aren’t being run on this repository"
+ [2020-05-22T18:58:13Z] choice So I put a yaml file in .github/workflows/ but when I click the "Actions" tab it still says "
+ [2020-05-22T18:15:21Z] choice I will read into it.
+ [2020-05-22T18:15:08Z] choice Me neither :)
+ [2020-05-22T18:14:35Z] choice nedbat: Ok, lets say we get the "workflow" to run every hour. How can it pull one file from UserB/RepoB into its own UserA/RepoA and add/commit it?
+ [2020-05-22T18:11:02Z] choice InnovAnon-Inc: How do you mean "direct access to the hook files"?
+ [2020-05-22T18:09:39Z] choice nedbat: But I would like to figure out if a GitHub only solution is possible.
+ [2020-05-22T18:09:25Z] choice nedbat: If we include a 3rd machine into the mix (Like InnovAnon-Inc suggested) that could be triggered by a hook, download RepoA and copy the file.
+ [2020-05-22T18:08:35Z] choice nedbat: It might be that GitHub is the wrong way to solve it.
+ [2020-05-22T18:08:01Z] choice nedbat: UserB has access to RepoA though.
+ [2020-05-22T18:07:43Z] choice nedbat: UserA has no access to RepoB.
+ [2020-05-22T18:07:29Z] choice nedbat: To do what?
+ [2020-05-22T18:07:04Z] choice nedbat: What we want to achieve is that when UserA pushes to his RepoA then one of the files gets copied to the RepoB of UserB.
+ [2020-05-22T18:05:43Z] choice nedbat: I mean I can do anything with both repos. As my keys are in there for both. And I could talk to the user of any of them to help with the setup.
+ [2020-05-22T18:04:13Z] choice InnovAnon-Inc: That could be. But I wonder if it can be with GitHub alone.
+ [2020-05-22T18:02:48Z] choice nedbat: How would the action be triggered by a push to the other repo? (The other repo is under another user)
+ [2020-05-22T17:56:43Z] choice nedbat: I'm not sure.