diff --git a/.github/workflows/private-names.yml b/.github/workflows/private-names.yml new file mode 100644 index 0000000..7a1b5fa --- /dev/null +++ b/.github/workflows/private-names.yml @@ -0,0 +1,15 @@ +name: Private names + +on: + pull_request: + push: + branches: [main] + +jobs: + check: + runs-on: ubuntu-latest + timeout-minutes: 5 + steps: + - uses: actions/checkout@v4 + - name: No private machine, person, or agent names + run: python3 scripts/check-private-names.py diff --git a/README.md b/README.md index 7d9bee3..03e4c34 100644 --- a/README.md +++ b/README.md @@ -280,7 +280,7 @@ mutation — drop a file at the documented path and `ls`/`peek`/`send`/ #