+ [2016-05-06T18:59:57Z] gitstar milki, I'm just curious about the point of fetching and not merging all the commits that were fetched
+ [2016-05-06T19:40:19Z] Callek akitada: you can add a new remote to your local repo that points at that users fork, then you fetch, I tend to `fetch --all` for people/repos I care about, then I can checkout where/what I want
+ [2016-05-06T21:36:07Z] wewlad hello

message no. 134610

Posted by erebel55 in #github at 2016-05-06T12:34:40Z

is there any url shortcut for ignoring capitalization changes in the diff?
+ [2016-05-07T05:25:41Z] VxJasonxV HelloAtMega: just us programs
+ [2016-05-07T05:25:56Z] elh9 hello
+ [2016-05-07T05:26:13Z] elh9 anyone know how to revert to an older commit on a master branch?
+ [2016-05-07T05:26:21Z] dgriffi greetings programs!
+ [2016-05-07T05:26:36Z] dgriffi elh9: what do you mean?