Update changing-a-commit-message.md | Remove quotes around external resource in changing-a-commit-message#commit-has-not-been-pushed-online #35287 #9435
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: Hubber contribution help | |
# **What it does**: When a PR is opened by a non-Docs team Hubber, adds a bot comment with helpful links | |
# **Why we have it**: To help non–Docs Hubbers navigate how to get a PR reviewed by the Docs team | |
# **Who does it impact**: docs-internal contributors | |
on: | |
pull_request: | |
types: | |
- opened | |
paths: | |
- 'content/**' | |
- 'data/**' | |
permissions: | |
contents: read | |
pull-requests: write | |
jobs: | |
check-team-membership: | |
if: github.repository == 'github/docs-internal' && github.actor != 'github-openapi-bot' && github.actor != 'docs-bot' | |
runs-on: ubuntu-latest | |
steps: | |
- name: Check out repo | |
uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4.1.1 | |
- id: membership_check | |
uses: actions/github-script@e69ef5462fd455e02edcaf4dd7708eda96b9eda0 | |
with: | |
github-token: ${{ secrets.DOCS_BOT_PAT_WORKFLOW_READORG }} | |
script: | | |
try { | |
await github.rest.teams.getMembershipForUserInOrg({ | |
org: 'github', | |
team_slug: 'docs', | |
username: context.payload.sender.login, | |
}); | |
return true | |
} catch(err) { | |
return false | |
} | |
- name: Comment on the PR | |
if: steps.membership_check.outputs.result == 'false' | |
run: | | |
gh pr comment $PR --body "Thanks so much for opening this PR and contributing to GitHub Docs! | |
- When you're ready for the Docs team to review this PR, add the *ready-for-doc-review* label to your PR, and it will be automatically added to the [Docs Content review board](https://github.com/orgs/github/memexes/901?layout=table&groupedBy%5BcolumnId%5D=11024). **Please factor in at least 72 hours for a review, even longer if this is a substantial change.** | |
- If you're adding a release note, request a technical review. The Docs team will review the PR after the technical review is complete. | |
- If your updates to the docs are more than a simple fix, you might want to go back and open an [issue](https://github.com/github/docs-content/issues/new/choose) to ensure we've covered all areas of the docs in these updates. Not doing so may result in delays or inaccurate documentation." | |
env: | |
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
PR: ${{ github.event.pull_request.html_url }} |