diff options
author | Richard van der Hoff <1389908+richvdh@users.noreply.github.com> | 2019-02-05 11:44:40 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-02-05 11:44:40 +0000 |
commit | 3ef71a6ea057c7ad8b87933f06861e9973660b51 (patch) | |
tree | f5556bb734dd7034b56b859380d6357c80fa63d4 /pylint.cfg | |
parent | Fix default ACME config for py2 (#4564) (diff) | |
download | synapse-3ef71a6ea057c7ad8b87933f06861e9973660b51.tar.xz |
Docker: only copy what we need to the build image (#4562)
There are two reasons this is a good thing: * first, it means that you don't end up with stuff kicking around your working copy ending up in the build image by mistake (which can upset the pip install process) * second: it means that the docker image cache is more effective, and we can reuse docker images when iterating on the docker stuff.
Diffstat (limited to 'pylint.cfg')
0 files changed, 0 insertions, 0 deletions