zig/mach
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

CI: correct git-filter-repo installation

Browse source 
Signed-off-by: Stephen Gutekanst <stephen@hexops.com>
This commit is contained in:
Stephen Gutekanst 2022-08-26 16:00:50 -07:00
parent d0961f2898
commit e193be5bfe
1 changed files with 1 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

4
.github/workflows/push_subrepos.yml vendored
View file

@ -14,9 +14,7 @@ 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: | run: python3 -m pip install --user git-filter-repo
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 }}