diff --git a/.github/workflows/push_subrepos.yml b/.github/workflows/push_subrepos.yml index b5262566..2105ecad 100644 --- a/.github/workflows/push_subrepos.yml +++ b/.github/workflows/push_subrepos.yml @@ -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