From a891bbe7b84072ef56f45e5bc730b4a9b85d4a4c Mon Sep 17 00:00:00 2001 From: hkir-dev Date: Thu, 29 Jul 2021 12:15:58 +0100 Subject: [PATCH] initial commit --- .github/workflows/robot_reserialise.yaml | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/.github/workflows/robot_reserialise.yaml b/.github/workflows/robot_reserialise.yaml index f74be94..fd61488 100644 --- a/.github/workflows/robot_reserialise.yaml +++ b/.github/workflows/robot_reserialise.yaml @@ -5,9 +5,6 @@ on: pull_request: types: [ closed ] - # Allows you to run this workflow manually from the Actions tab - workflow_dispatch: - jobs: merge_job: # if the PR has been merged @@ -17,14 +14,17 @@ jobs: steps: - uses: actions/checkout@v2 + with: + persist-credentials: false # otherwise, the token used is the GITHUB_TOKEN, instead of personal token + fetch-depth: 0 # otherwise, fail to push back to dest - name: robot reserialise run: | robot convert --input ./cl-full.owl -f ofn --output ./cl-full.owl - name: Commit ontology run: | - git config --local user.name "serialiser_bot" + git config --local user.name "github-actions[bot]" git add ./cl-full.owl - git commit -m "Automatic robot serialisation after merge" + git commit -m "Automatic robot serialisation after merge" -a - name: Push changes uses: ad-m/github-push-action@master with: