Add Havana to repocheck