directory_writer: actions/checkout@v1 # Use v1, NOT v2 (#1799)

* directory_writer: actions/checkout@v1 # Use v1, NOT v2 (#1796

* updating DIRECTORY.md
This commit is contained in:
Christian Clauss 2020-03-14 07:33:14 +01:00 committed by GitHub
parent 2da98db4a7
commit d547d0347b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -6,17 +6,18 @@ jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v1
- uses: actions/checkout@v1 # v1, NOT v2
- uses: actions/setup-python@v1
with:
python-version: 3.x
- name: Write DIRECTORY.md
run: |
scripts/build_directory_md.py 2>&1 | tee DIRECTORY.md
git config --global user.name "GitHub Actions"
git config --global user.email "actions@github.com"
git commit -am "updating DIRECTORY.md" || true
- name: Push DIRECTORY.md
if: github.ref == 'refs/heads/master'
git config --global user.name github-actions
git config --global user.email '${GITHUB_ACTOR}@users.noreply.github.com'
git remote set-url origin https://x-access-token:${{ secrets.GITHUB_TOKEN }}@github.com/$GITHUB_REPOSITORY
- name: Update DIRECTORY.md
run: |
git push "https://${GITHUB_ACTOR}:${{secrets.GITHUB_TOKEN}}@github.com/$GITHUB_REPOSITORY.git" ${master} --force
git add DIRECTORY.md
git commit -am "updating DIRECTORY.md" || true
git push --force origin HEAD:$GITHUB_REF || true