judge/docker/.gitignore