docker images are now maintained in separate git repos