kihashi/eecs395 — Issue #4: Configure the server to pull from GitHub Automatically
Author: kihashi
Created: 2012-02-19 16:52:16+00:00
State: open

In order to accelerate workflow, whenever a commit is pushed to github, the changes should be pushed to the server. This might be accomplished using github's service hooks and some shell scripting.