Raphael Defosseux authored 4 months ago and Robert Schmidt committed 4 months ago

This will be used to pull images with the tag "develop" (i.e., without a
commit ID).