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

CI: strip extra headers when pushing to subrepos (prevents auth)

Browse source 
Signed-off-by: Stephen Gutekanst <stephen@hexops.com>
This commit is contained in:
Stephen Gutekanst 2022-02-12 19:00:10 -07:00
parent bd220b275c
commit 1ef3add01d
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -15,4 +15,6 @@ jobs:
run: |
git config user.name 'Repository synchronization automation'
git config user.email 'stephen@hexops.com'
# See https://github.community/t/automating-push-to-public-repo/17742/12
git config -l | grep 'http\..*\.extraheader' | cut -d= -f1 | xargs -L1 git config --unset-all
./dev/push-subrepos.sh