jprdonnelly/docs
1
0
Fork 0
mirror of synced 2026-01-28 00:02:29 -05:00
Code Issues Projects Releases Wiki Activity

Merge pull request #8830 from github/repo-sync

Browse Source 
repo sync
This commit is contained in:
Octomerger Bot
2021-08-06 04:52:16 +10:00
committed by GitHub
parent 01c43abfbd da11441885
commit d644e4f42d
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
.github/workflows/sync-search-indices.yml vendored
View File

@@ -69,8 +69,8 @@ jobs:
git config user.email action@github.com
echo 'git commit -am "update search indexes"'
git commit -am "update search indexes"
echo 'git lfs push origin'
git lfs push origin
echo 'git lfs push --all origin'
git lfs push --all origin
echo 'git push origin main --no-verify'
git push origin main --no-verify
@@ -83,8 +83,8 @@ jobs:
run: |
echo 'git remote add public-docs-repo https://github.com/github/docs.git'
git remote add public-docs-repo https://github.com/github/docs.git
echo 'git lfs push public-docs-repo'
git lfs push public-docs-repo
echo 'git lfs push --all public-docs-repo'
git lfs push --all public-docs-repo
echo 'git pull public-docs-repo main'
git pull public-docs-repo main
echo 'git push public-docs-repo main --no-verify'