From 3a09cf7d889113f7486bbe36a281f95450c31381 Mon Sep 17 00:00:00 2001 From: Christian Clauss Date: Sat, 7 Dec 2019 08:24:38 +0100 Subject: [PATCH] git add DIRECTORY.md --- .github/workflows/build_directory_md.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/build_directory_md.yml b/.github/workflows/build_directory_md.yml index 0c41572dc..4a5781f08 100644 --- a/.github/workflows/build_directory_md.yml +++ b/.github/workflows/build_directory_md.yml @@ -16,5 +16,6 @@ jobs: 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 + git add DIRECTORY.md git commit -am "updating DIRECTORY.md" || true git push --force origin HEAD:$GITHUB_REF || true