diff options
| author |  Gareth Coles <[email protected]> | 2018-08-06 16:34:55 +0000 |
|---|---|---|
| committer | Gareth Coles <[email protected]> | 2018-08-06 16:34:55 +0000 |
| commit | 96377b8c2d04e5a7dc8c2fdabb408c3b7df22a58 (patch) | |
| tree | 1ba0b67fd833106d059f6e6ddecc0d9d35f16851 | |
| parent | Merge branch 'enhancement/add-antispam-channel-and-role-whitelist' into 'master' (diff) | |
| parent | try build without cleaning first (diff) | |
Merge branch 'no-pipenv-clean' into 'master'
try build without cleaning first
See merge request python-discord/projects/bot!46
| -rw-r--r-- | docker/Dockerfile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/docker/Dockerfile b/docker/Dockerfile index 350e38ec0..2db1ee24a 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -10,7 +10,6 @@ RUN pip install pipenv COPY . /bot WORKDIR /bot -RUN pipenv clean RUN pipenv sync ENTRYPOINT ["/sbin/tini", "--"] |