What could've prevented the Codeberg incident?