Github handling on web server. Now supports push.