This is an automated email from the ASF dual-hosted git repository. bossenti pushed a change to branch improve-pr-labeler-config in repository https://gitbox.apache.org/repos/asf/streampipes.git
was 4564346419 ci: improve PR labeler config for documentation
The revisions that were on this branch are still contained in
other references; therefore, this change does not discard any commits
from the repository.
