1
0
mirror of synced 2026-01-05 21:04:17 -05:00

Remove octomerger references (#38145)

This commit is contained in:
Kevin Heis
2023-06-20 07:11:02 -07:00
committed by GitHub
parent 88033480b4
commit 5aeaca661b
7 changed files with 9 additions and 16 deletions

View File

@@ -1,8 +1,7 @@
name: Close bad repo-sync PRs
# **What it does**:
# Closes and PR from `repo-sync` to `main` that wasn't created by
# Octomerger or a Hubber.
# Closes and PR from `repo-sync` to `main` that wasn't created by a Hubber.
# **Why we have it**:
# Unfortunately, a lot of PRs in github/docs are created by people who
# shouldn't be creating such PRs. We bot our bots to own it.
@@ -17,7 +16,7 @@ permissions:
jobs:
close-invalid-repo-sync-pr:
if: ${{ github.repository == 'github/docs' && github.actor != 'Octomerger' && github.event.pull_request.base.ref == 'main' && github.event.pull_request.head.ref == 'repo-sync' }}
if: ${{ github.repository == 'github/docs' && github.event.pull_request.base.ref == 'main' && github.event.pull_request.head.ref == 'repo-sync' }}
name: Close if invalid repo-sync PR author
runs-on: ubuntu-latest
steps:
@@ -30,10 +29,6 @@ jobs:
const prCreator = context.actor
const prNumber = context.issue.number
if (prCreator === 'Octomerger') {
throw new Error("Should have been checked by the main if: condition on the job")
}
try {
await github.rest.teams.getMembershipForUserInOrg({
org: 'github',

View File

@@ -19,7 +19,7 @@ concurrency:
jobs:
PR-Preview-Links:
if: github.event.pull_request.user.login != 'Octomerger' && (github.repository == 'github/docs-internal' || github.repository == 'github/docs')
if: github.event.pull_request.user.login != 'docs-bot' && (github.repository == 'github/docs-internal' || github.repository == 'github/docs')
name: Add staging/live links to PR
runs-on: ubuntu-latest
outputs:

View File

@@ -42,8 +42,6 @@ jobs:
`/orgs/github/teams/docs/members?per_page=100`
)
const teamLogins = teamMembers.data.map(member => member.login)
// ignore PRs opened by docs bot accounts
teamLogins.push('Octomerger', 'octoglot')
if (teamLogins.some(login => login === updatedIssueInformation.data.user.login)) {
console.log(`This issue or pull request was authored by a member of the github/docs team.`)
return 'true'

View File

@@ -15,7 +15,7 @@ permissions:
jobs:
comment:
if: github.repository == 'github/docs' && github.event.pull_request.merged && github.event.pull_request.base.ref == github.event.repository.default_branch && github.event.pull_request.user.login != 'Octomerger'
if: github.repository == 'github/docs' && github.event.pull_request.merged && github.event.pull_request.base.ref == github.event.repository.default_branch && github.event.pull_request.user.login != 'docs-bot'
runs-on: ubuntu-latest
steps:
- uses: actions/github-script@98814c53be79b1d30f795b907e553d8679345975

View File

@@ -28,7 +28,7 @@ jobs:
if: >-
${{
github.repository == 'github/docs' &&
github.event.pull_request.user.login != 'Octomerger' &&
github.event.pull_request.user.login != 'docs-bot' &&
github.event.pull_request.user.login != 'dependabot[bot]'
}}
runs-on: ubuntu-latest