diff --git a/misc/scripts/validate_extension_api.sh b/misc/scripts/validate_extension_api.sh index 88c5d823742..1d648835417 100755 --- a/misc/scripts/validate_extension_api.sh +++ b/misc/scripts/validate_extension_api.sh @@ -71,7 +71,9 @@ while read -r file; do obsolete_validation_error="$(comm -13 "$validation_output" "$allowed_errors")" if [ -n "$obsolete_validation_error" ] && [ "$warn_extra" = "1" ]; then - make_annotation "The following validation errors no longer occur (compared to $reference_tag):" "$obsolete_validation_error" warning "$file" + #make_annotation "The following validation errors no longer occur (compared to $reference_tag):" "$obsolete_validation_error" warning "$file" + echo "The following validation errors no longer occur (compared to $reference_tag):" + echo "$obsolete_validation_error" fi if [ -n "$new_validation_error" ]; then make_annotation "Compatibility to $reference_tag is broken in the following ways:" "$new_validation_error" error "$file"