Pushing GitHub Updates to Cluster is Easy