Skip to content

Why JSON3.read is used both for file path and json string content, and blocks file after read? #7035

Why JSON3.read is used both for file path and json string content, and blocks file after read?

Why JSON3.read is used both for file path and json string content, and blocks file after read? #7035

Workflow file for this run

name: TagBot
on:
issue_comment:
types:
- created
workflow_dispatch:
jobs:
TagBot:
if: github.event_name == 'workflow_dispatch' || github.actor == 'JuliaTagBot'
runs-on: ubuntu-latest
steps:
- uses: JuliaRegistries/TagBot@v1
with:
token: ${{ secrets.GITHUB_TOKEN }}
ssh: ${{ secrets.DOCUMENTER_KEY }}