On order to merge into the main branch a test should be done on the pull request. This would detect problems like https://github.com/pdidev/pdi/issues/531