+ [2016-07-12T21:50:04Z] grimel Hi. Have there been any changes in fonts styles lately?
+ [2016-07-12T21:50:43Z] VxJasonxV https://twitter.com/mdo/status/752561058011754496
+ [2016-07-12T21:54:33Z] grimel Thanks, I started suspecting my tired eyes)
+ [2016-07-12T22:53:06Z] mozzarella VxJasonxV: looks weird on linux

message no. 142902

Posted by abhvl in #github at 2016-07-12T07:14:16Z

i created new branch on github website. pulled it. add some work to it. for some reason now i want to completely delete this branch without merging. i deleted my local branch with -D
+ [2016-07-13T09:52:50Z] txdv Is there some kind of flooding prevention by github? I just deleted 50 branches from a repo and further deletion of branches just stopped working
+ [2016-07-13T10:07:45Z] txdv nevermind, my local ssh-agent froze
+ [2016-07-13T11:27:26Z] LJHSLDJHSDLJH what is Gist? how to find the search link from the main page of github?
+ [2016-07-13T11:28:13Z] jhass LJHSLDJHSDLJH: https://gist.github.com
+ [2016-07-13T11:28:17Z] jhass which search link