Pulling dev and prod images has been causing some confusion, and in at least one instance it caused someone to be unable to pull the images.
The only difference seems to be that the dev profile pulls the IDE image, since otherwise the images are the same between dev and prod, so this should still pull the same set of images.
Thank you Josh! Just to add some extra context, the pull failure was happening on a Windows laptop. When --profile prod was removed from that command all the images were able to be pulled with no issue.
Pulling dev and prod images has been causing some confusion, and in at least one instance it caused someone to be unable to pull the images.
The only difference seems to be that the dev profile pulls the IDE image, since otherwise the images are the same between dev and prod, so this should still pull the same set of images.