GitLab

This reverts commit ff92de76.

Revert that and remove ASSERT_POD. Let's see which bots are
unhappy with this configuration...