Experimental code to test initiating a git_pull from a github push.