+[2014-08-21T23:00:14Z]tejas-manoharhow do i revert to this commit https://github.com/tejas-manohar/craigs-yo/commit/109d02d76b311eb3ac8b72756cbc3f538f1e6912 +[2014-08-21T23:24:32Z]VxJasonxVgit revert 109d02d +[2014-08-21T23:25:40Z]Mapleyoh dear +[2014-08-21T23:25:42Z]Mapleythis again? +[2014-08-21T23:25:44Z]Mapleyhttps://github.com/sebyddd/YouAreAwesome
message no. 41512
Posted by milki in #github at 2014-08-21T01:50:32Z
\o/
+[2014-08-22T01:07:31Z]sorresseanI'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]Remramsorressean: you can poll +[2014-08-22T01:09:58Z]sorresseanis there a way to check for updates before you git pull so I can script that? +[2014-08-22T01:10:19Z]RemramWhy do you need to know? Once you pull, you can see that nothing has happened +[2014-08-22T01:10:40Z]Remramyou can probably use ls-remote for that