Currently the Dockerfile does a COPY . . step which copies the entire repo to the image. The necessity of this needs to be reviewed - in particular the .github folder doesn't need to be copied. The downside of copying everything is that the image size is increased and the Docker image build takes longer.