+ [2015-02-26T20:40:55Z] wfq or is just github telling me that they have different commits and not different files?
+ [2015-02-26T20:41:27Z] wfq don't get it
+ [2015-02-26T21:39:02Z] catcher Is it possible to automatically pull a clone on a server when a commit is pushed to a github repo?
+ [2015-02-26T23:41:27Z] gh-status1 [Yellow] An SSL certificate update is affecting some GitHub services and we are working to resolve the issue.
+ [2015-02-26T23:53:57Z] gh-status1 [Green] Everything operating normally.

message no. 81305

Posted by thibaultcha in #github at 2015-02-26T01:10:52Z

geomyidae_: git reset --soft HEAD~2 && git commit -m 'your comit new message' && git push --force
+ [2015-02-26T23:59:57Z] gh-status1 [Yellow] Code search queries are disabled for the time being while we perform maintenance on the cluster.
+ [2015-02-27T00:06:57Z] gh-status1 [Yellow] Code search results are currently degraded while we perform maintenance on the cluster.
+ [2015-02-27T01:39:42Z] limbera i've made a new repo and pushed a commit to my github repo
+ [2015-02-27T01:39:46Z] limbera but some of the files are not appearing there
+ [2015-02-27T01:40:09Z] limbera the folder with the missing files has it's dir name greyed out