Should we delete the Docker stuff? #1928
Description
I do not recall ever hearing about anyone using the Docker stuff from the /docker directory. Is anyone using it? Is anyone maintaining it? Should we delete the whole directory?
{{ message }}
I do not recall ever hearing about anyone using the Docker stuff from the /docker directory. Is anyone using it? Is anyone maintaining it? Should we delete the whole directory?