fix problem with github hook.