+ [9 years ago] guest796 I accidentally deleted git directory from home folder in ubuntu. Is there a way to get it back?
+ [9 years ago] whomp and 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
+ [9 years ago] jberkus hey, is there a way to specify that I get emails for all new PRs in just one repo?
+ [9 years ago] tobiasvl unwatch all the other repos?
+ [9 years ago] jberkus IFTTT to the rescue, I guess

message no. 125585

Posted by tp43_ in #github at 2016-03-01T03:52:38Z

looks like you do no have to spawn ssh-agent. I just did it and it didn't find any keys or add any
+ [9 years ago] c0fe hello
+ [9 years ago] mayankgupta I accidentally deleted git directory from home in ubuntu. Is there a way to recover it?
+ [9 years ago] gtristan Hi... is there a feature I can use for rebasing my forked repo from it's parent ?
+ [9 years ago] gtristan looks like it's documented here: https://help.github.com/articles/syncing-a-fork/
+ [9 years ago] qiqi ls