+ [11 years ago] tejas-manohar how do i revert to this commit https://github.com/tejas-manohar/craigs-yo/commit/109d02d76b311eb3ac8b72756cbc3f538f1e6912
+ [11 years ago] Mapley this again?
+ [11 years ago] Mapley https://github.com/sebyddd/YouAreAwesome

message no. 41513

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

it works again
+ [11 years ago] 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.
+ [11 years ago] Remram sorressean: you can poll
+ [11 years ago] sorressean is there a way to check for updates before you git pull so I can script that?
+ [11 years ago] Remram Why do you need to know? Once you pull, you can see that nothing has happened
+ [11 years ago] Remram you can probably use ls-remote for that