Skip to content

Editorial: Correct markup for 'notation' variable #594

Editorial: Correct markup for 'notation' variable

Editorial: Correct markup for 'notation' variable #594

name: Require “Allow Edits”
on: [pull_request]
jobs:
_:
name: "Require “Allow Edits”"
runs-on: ubuntu-latest
steps:
- uses: ljharb/require-allow-edits@main
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}