Skip to content

Editorial: replaced ≥ ∞ « “ ≤ — ≠ &r… #568

Editorial: replaced ≥ ∞ « “ ≤ — ≠ &r…

Editorial: replaced ≥ ∞ « “ ≤ — ≠ &r… #568

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 }}