+[2015-02-26T20:40:55Z]wfqor is just github telling me that they have different commits and not different files? +[2015-02-26T20:41:27Z]wfqdon't get it +[2015-02-26T21:39:02Z]catcherIs 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.
+[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]limberai've made a new repo and pushed a commit to my github repo +[2015-02-27T01:39:46Z]limberabut some of the files are not appearing there +[2015-02-27T01:40:09Z]limberathe folder with the missing files has it's dir name greyed out