Re:GitHub was down
by alpb on Monday July 31, 2017 @01:05PM
(#14893802)
> implying developers spend most of their time in editors.
[ Parent
| on HN ]
Well the parent was implying they spend most of their time in Github.