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

Posted by Drone4four in #github at 2016-07-12T21:32:47Z

jhass, but when i 'git push origin master' from my local repository to my remote repository on GitHub, my shell still asks me for my username and pass for 'https://github.com'
+ [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