+ [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. 142926

Posted by molt in #github at 2016-07-12T13:28:38Z

hey ya'll. I'm wondering if I could get a bit of help. I forked a repo into my Github account, made a new branch on my forked copy. Cloned the fork to my local machine. Made changes on my local copy. Now I am trying to push those changes back to the branch I made on my fork in Github, but am having trouble.
+ [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