Provide simple gateway service between GitHub + (internal) Jenkins system

github/hook_server.rb provides a simple demo gateway between GitHub
and an (internal) Jenkins server to receive Git push actions from
GitHub and trigger Jenkins jobs accordingly. Place this script on
a host which is available from GitHub and also has access to the
(internal) Jenkins system.

Development sponsored by Sipwise.com