CI: correct git-filter-repo installation

Signed-off-by: Stephen Gutekanst <stephen@hexops.com>
This commit is contained in:
Stephen Gutekanst 2022-08-26 15:58:11 -07:00
parent e2f10dadc8
commit d0961f2898

View file

@ -14,7 +14,9 @@ jobs:
# split the git subtree. # split the git subtree.
fetch-depth: 0 fetch-depth: 0
- name: Install git-filter-repo - name: Install git-filter-repo
run: sudo apt-get install -y git-filter-repo run: |
sudo apt-get update
sudo apt-get install -y git-filter-repo
- name: "Push recent commits to subrepositories" - name: "Push recent commits to subrepositories"
env: env:
ACCESS_TOKEN: ${{ secrets.HEXOPS_MACH_PUSH_SUBREPOS }} ACCESS_TOKEN: ${{ secrets.HEXOPS_MACH_PUSH_SUBREPOS }}