+ [2016-11-18T16:23:59Z] PCatinean ah I can rename but the Url still has caps
+ [2016-11-18T16:24:11Z] PCatinean Maybe I can delete it and re-make it
+ [2016-11-18T17:55:40Z] eliudnir Hi, I am following the setup page after making a new (private) repo on my github account to push my code, but after authentication I get the error 'remote: Repository not found.' - idk what's wrong as I'm literally copy-pasting the github instructions :S
+ [2016-11-18T20:50:24Z] rindolf Hi all, sup?

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?
+ [2016-11-19T02:41:02Z] konrados Hi again. Is there a way to export all gist.github.com snippets from one account to another? I'm the owner of both accounts.
+ [2016-11-19T09:10:02Z] anli_ I want a listing of my gists, without seeing all the contents, is that possible to achieve?
+ [2016-11-20T10:00:37Z] icebox thanks for resolving "I am not human" issue in minutes
+ [2016-11-20T12:11:24Z] linuxmodder is there a way to override the 2gb file upload |push max ?