GitHub now uses Amazon's AWS to send requests from hooks

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>