add github ping hook handler

Small patch to handle GitHub ping requests.