Skip to content

Fix error permission and error "no such file or directory" #7

Fix error permission and error "no such file or directory"

Fix error permission and error "no such file or directory" #7

# This workflow updates the pull request description with an auto-generated section containing the categorised commit
# message headers of the commits since the release. The auto generated section is enveloped between two comments:
# "<!---START AUTOGENERATED NOTES --->" and "<!--- END AUTOGENERATED NOTES --->". Anything outside these in the
# description is left untouched. Auto-generated updates can be skipped for future commits if
# "<!--- SKIP AUTOGENERATED NOTES --->" is added to the pull request description.
name: Update Pull Request
on:
pull_request:
branches:
- master
permissions:
pull-requests: write
jobs:
description:
if: contains(github.event.pull_request.body, '<!--- SKIP AUTOGENERATED NOTES --->') == false
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: octue/generate-pull-request-description@main
id: pull-request-description
with:
pull_request_url: ${{ github.event.pull_request.url }}
api_token: ${{ secrets.GITHUB_TOKEN }}
- name: Update pull request body
uses: riskledger/update-pr-description@v2
with:
body: ${{ steps.pull-request-description.outputs.pull_request_description }}
token: ${{ secrets.GITHUB_TOKEN }}