CI: correctly fetch full Git history for subrepo push

Signed-off-by: Stephen Gutekanst <stephen@hexops.com>
This commit is contained in:
Stephen Gutekanst 2022-02-12 19:16:41 -07:00
parent 1ef3add01d
commit 71573e7033

View file

@ -9,6 +9,10 @@ jobs:
steps: steps:
- name: Checkout - name: Checkout
uses: actions/checkout@v2 uses: actions/checkout@v2
with:
# fetch full Git history, otherwise push-subrepos.sh would fail due to not being able to
# split the git subtree.
fetch-depth: 0
- 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 }}