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
Michael Prokop