Coming from #517 and a short discussion with @zerothabhishek, ISTM that the docker files are not used in production or in development.
Is anyone willing to update and maintain the docker environment going forward? If yes, then should we move the production deployment to use docker?
In case there's no one willing to step up to do the above in ~15 days or so, I suggest we remove docker related files, to avoid having bit-rotted files in the repository.
/cc @rekenerd @theskumar @bhanuvrat
Coming from #517 and a short discussion with @zerothabhishek, ISTM that the docker files are not used in production or in development.
Is anyone willing to update and maintain the docker environment going forward? If yes, then should we move the production deployment to use docker?
In case there's no one willing to step up to do the above in ~15 days or so, I suggest we remove docker related files, to avoid having bit-rotted files in the repository.
/cc @rekenerd @theskumar @bhanuvrat