@jalefkowit I love the part where Github is merely a mirror, not the origin.

It's important to keep control of your own processes.