Use GitHub mirror of tap-plugins (#7110)

This commit is contained in:
Dominic Clark
2024-02-16 18:56:30 +00:00
committed by GitHub
parent 074dd0bd13
commit c87ff4194f
2 changed files with 2 additions and 3 deletions

View File

@@ -171,8 +171,7 @@ jobs:
run: |
add-apt-repository ppa:git-core/ppa
apt-get update
apt-get --yes install apt-transport-https ca-certificates git
update-ca-certificates
apt-get --yes install git
git config --global --add safe.directory "$GITHUB_WORKSPACE"
- name: Check out
uses: actions/checkout@v3