add support for automatic pulls when notified by github web hook