+[2016-09-14T21:14:00Z]Zarthusbut webhooks are also deprecated, so I'm not surprised +[2016-09-14T21:41:25Z]ifdef42if someone has updated their pull request with a force push... is there a way to find the original commit ID (which i reviewed)? +[2016-09-14T21:41:49Z]ifdef42i know it's still in their fork so if i had i could diff with the latest to see what they've changed since i reviewed it. +[2016-09-14T21:42:06Z]ifdef42i'm hoping the new github code review changes will move toward this kind of thing being part of the standard process :) +[2016-09-14T22:42:53Z]offlimhow do i clone a branch?
usually people just call it `.keep` or something like that
+[2016-09-15T03:37:02Z]xeirrrThe new design looks cool, but a bit different to track user activity if one doesn't have RSS +[2016-09-15T12:56:39Z]brabomoin +[2016-09-15T12:56:56Z]brabowhy is the irc service going out the window? there is no integration for irc? +[2016-09-15T12:57:11Z]Zarthusbrabo: the entire thing is deprecated. +[2016-09-15T12:57:36Z]braboZarthus: i can understand that, but you are yanking a nice tool away from me