From 12b22cf867c3cae19f3ec097675247482be71b4b Mon Sep 17 00:00:00 2001 From: Adeeb Shihadeh Date: Fri, 13 May 2022 16:47:55 -0700 Subject: [PATCH] CI: add SSH for pushing branches --- Dockerfile.openpilot_base | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Dockerfile.openpilot_base b/Dockerfile.openpilot_base index c5a024db82..0de3008baf 100644 --- a/Dockerfile.openpilot_base +++ b/Dockerfile.openpilot_base @@ -4,7 +4,7 @@ ENV PYTHONUNBUFFERED 1 ENV DEBIAN_FRONTEND=noninteractive RUN apt-get update && \ - apt-get install -y --no-install-recommends sudo tzdata locales && \ + apt-get install -y --no-install-recommends sudo tzdata locales ssh && \ rm -rf /var/lib/apt/lists/* RUN sed -i -e 's/# en_US.UTF-8 UTF-8/en_US.UTF-8 UTF-8/' /etc/locale.gen && locale-gen @@ -29,5 +29,5 @@ RUN cd /tmp && \ cd /usr/lib/gcc/arm-none-eabi/9.2.1 && \ rm -rf arm/ && \ rm -rf thumb/nofp thumb/v6* thumb/v8* thumb/v7+fp thumb/v7-r+fp.sp -RUN sudo git config --global --add safe.directory /tmp/openpilot +RUN sudo git config --global --add safe.directory /tmp/openpilot