Skip to content
This repository has been archived by the owner on May 29, 2024. It is now read-only.

sync_approved_pr: Add git repo to safe dir list #36

Merged
merged 1 commit into from
Feb 3, 2023
Merged

sync_approved_pr: Add git repo to safe dir list #36

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Jump to
Jump to file
Failed to load files.
Diff view
Diff view
3 changes: 1 addition & 2 deletions github_pr_to_internal_pr/Dockerfile
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,6 @@ RUN apt-get update && \
pip3 install --upgrade pip && \
pip3 install -r /tmp/requirements.txt

# Changing the ownership of the repository after checking out
# Error: fatal: detected dubious ownership in repository at '/github/workspace'
# To add an exception for this directory, call:
# git config --global --add safe.directory /github/workspace
Expand All @@ -22,7 +21,7 @@ RUN apt-get update && \
# - https://github.com/actions/runner/issues/2033
# - https://github.com/actions/checkout/issues/1048
# - https://github.com/actions/runner-images/issues/6775
RUN chown -R $(id -u):$(id -g) $PWD
RUN git config --system --add safe.directory /github/workspace

COPY github_pr_to_internal_pr.py /

Expand Down