1
0
mirror of synced 2026-01-18 06:01:38 -05:00

Merge pull request #8921 from github/repo-sync

repo sync
This commit is contained in:
Octomerger Bot
2021-08-10 10:48:25 +10:00
committed by GitHub

View File

@@ -56,8 +56,10 @@ jobs:
git config user.name "GitHub Actions"
echo 'git config user.email action@github.com'
git config user.email action@github.com
echo 'git commit -am "update search indexes"'
git commit -am 'update search indexes'
echo 'git add lib/search/indexes'
git add lib/search/indexes/*
echo 'git commit -m "update search indexes"'
git commit -m 'update search indexes'
echo 'git lfs push --all origin'
git lfs push --all origin
echo 'git push origin' $GITHUB_HEAD_REF '--set-upstream'