Github handling on web server. Now supports push.
Fixed github event handling finally...
Merged the mess