+ [2014-08-21T23:00:14Z] tejas-manohar how do i revert to this commit https://github.com/tejas-manohar/craigs-yo/commit/109d02d76b311eb3ac8b72756cbc3f538f1e6912
+ [2014-08-21T23:24:32Z] VxJasonxV git revert 109d02d
+ [2014-08-21T23:25:40Z] Mapley oh dear
+ [2014-08-21T23:25:42Z] Mapley this again?
+ [2014-08-21T23:25:44Z] Mapley https://github.com/sebyddd/YouAreAwesome

message no. 41513

Posted by milki in #github at 2014-08-21T01:50:34Z

it works again
+ [2014-08-22T01:07:31Z] sorressean I'd like to update my github repo and build docs on a separate server every time I push to github. Is there a way to do this without http hooks? I didn't want to write a http server and open to the public just for this.
+ [2014-08-22T01:09:38Z] Remram sorressean: you can poll
+ [2014-08-22T01:09:58Z] sorressean is there a way to check for updates before you git pull so I can script that?
+ [2014-08-22T01:10:19Z] Remram Why do you need to know? Once you pull, you can see that nothing has happened
+ [2014-08-22T01:10:40Z] Remram you can probably use ls-remote for that