+ [2015-11-19T19:31:11Z] Remram it either redirects or is something else
+ [2015-11-19T19:31:34Z] csarven git remote set-url origin new_url
+ [2015-11-19T19:32:00Z] csarven Yea, I see the issue. I'm trying to figure out if there is a workaround.
+ [2015-11-19T19:32:25Z] csarven I would like to retain the current name, but move the current project elsewhere
+ [2015-11-19T23:35:54Z] ome So, what is the best strategy to keep github in sync with another repo?

message no. 120624

Posted by tejasmanohar in #github at 2015-11-19T09:19:51Z

best way to squash a pull request from an external contributor into 1 commit and then merge it?
+ [2015-11-20T01:37:12Z] rbo hey guys :)
+ [2015-11-20T01:37:39Z] rbo If i'm getting Updates were rejected because the remote contains work that you do, if I pull will I lose any local changes that I have made?
+ [2015-11-20T08:08:03Z] witpot What exactly is the point of having a passphrase for your SSH key?
+ [2015-11-20T08:08:11Z] witpot if you don't ever have to put in the pass because of ssh-agent
+ [2015-11-20T08:15:49Z] Seveas if the file gets compromised you still need a password to decrypt it.