My small hack to pull/deploy on a server whenever there is a commit to a github repo