From 3ebdb071dc7249ff91199ff471530bd2b2eb8bba Mon Sep 17 00:00:00 2001 From: jonathanmetzman <31354670+jonathanmetzman@users.noreply.github.com> Date: Wed, 16 Nov 2022 07:53:04 -0500 Subject: [PATCH] Remove centipede's .git (#8986) It takes up space, is uneeded and causes irrelevant data to be displayed in revisions. --- infra/base-images/base-builder/Dockerfile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/infra/base-images/base-builder/Dockerfile b/infra/base-images/base-builder/Dockerfile index bfcbb5ef1..2d0ed67c8 100644 --- a/infra/base-images/base-builder/Dockerfile +++ b/infra/base-images/base-builder/Dockerfile @@ -134,7 +134,8 @@ RUN precompile_honggfuzz RUN cd $SRC && \ git clone https://github.com/google/centipede.git && \ cd centipede && \ - git checkout baa82e7189677bb9086beb5d9b5e58018d991607 + git checkout baa82e7189677bb9086beb5d9b5e58018d991607 && \ + rm -rf .git COPY precompile_centipede /usr/local/bin/ RUN precompile_centipede