1
0
mirror of synced 2026-01-10 09:02:35 -05:00

Merge pull request #29941 from github/repo-sync

Repo sync
This commit is contained in:
docs-bot
2023-11-13 18:59:51 -05:00
committed by GitHub

View File

@@ -18,7 +18,7 @@ permissions:
jobs:
check-team-membership:
if: github.repository == 'github/docs-internal' && github.actor != 'github-openapi-bot'
if: github.repository == 'github/docs-internal' && github.actor != 'github-openapi-bot' && github.actor != 'docs-bot'
runs-on: ubuntu-latest
steps:
- name: Check out repo