Auto pushing to a specific folder on GitHub or other Git service
<p>The Situation:
I have one Git Repo with files; let's call it "Robot". When I commit to Robot, I want something to auto-commit my new commit to another big repo under a specific folder.</p>

<p>The Problem:
I don't know how to do it. I know GitLab has mirror repository, but it mirrors the whole repo and it won't do it to a specific folder.</p>

<p>EDIT:</p>

<p>Here's an analogy:
The big repo is like a CDN and Robot is a framework.</p>