message no. 156968
Posted by BlueProtoman in #github at 2016-11-18T03:56:06Z
I have a Git repo. Its primary remote (origin) is on a machine at my university, but I want to manage it with GitHub so my team and I can do our primary work there (issue tracking, pull requests, etc.). What's a good fire-and-forget way to mirror it?