message no. 181029
Posted by choice in #github at 2020-05-22T18:07:04Z
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.
Posted by choice in #github at 2020-05-22T18:07:04Z