+[2016-03-01T18:59:52Z]guest796I accidentally deleted git directory from home folder in ubuntu. Is there a way to get it back? +[2016-03-01T19:00:15Z]whompand when i try to create a new pr from base to new, and so it finds the existing pr and shows me the diff, the diff is correct. but the actual pr shows the outdated diff instead +[2016-03-01T21:23:30Z]jberkushey, is there a way to specify that I get emails for all new PRs in just one repo? +[2016-03-01T21:25:49Z]tobiasvlunwatch all the other repos? +[2016-03-01T21:26:00Z]jberkusIFTTT to the rescue, I guess
message no. 125586
Posted by tp43_ in #github at 2016-03-01T03:53:28Z
I mean it worked without spawning ssh-agent. I just did ssh-add and it worked
+[2016-03-02T00:18:20Z]c0fehello +[2016-03-02T02:30:40Z]mayankguptaI accidentally deleted git directory from home in ubuntu. Is there a way to recover it? +[2016-03-02T07:32:19Z]gtristanHi... is there a feature I can use for rebasing my forked repo from it's parent ? +[2016-03-02T07:36:30Z]gtristanlooks like it's documented here: https://help.github.com/articles/syncing-a-fork/ +[2016-03-02T07:48:16Z]qiqils