Remove unnecessary spaces between words - part 4 #3733
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: Add docs-internal PRs to the docs-content FR project v2 | |
| # **What it does**: Adds docs-internal pull requests that were opened by people outside of the docs team to the docs-content FR project v2 | |
| # **Why we have it**: So we don't lose track of new pull requests for docs-content to review | |
| # **Who does it impact**: Docs content | |
| on: | |
| pull_request: | |
| types: | |
| - reopened | |
| - opened | |
| - ready_for_review | |
| permissions: | |
| contents: read | |
| pull-requests: write | |
| repository-projects: write | |
| jobs: | |
| first-responder-triage-pr: | |
| name: Add PR to FR project v2 | |
| if: github.repository == 'github/docs-internal' && github.event.pull_request.draft == false && github.actor != 'dependabot[bot]' && github.event.pull_request.head.ref != 'repo-sync' && !contains(github.event.pull_request.labels.*.name, 'skip FR board') | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Check if the event originated from a team member | |
| uses: actions/github-script@e69ef5462fd455e02edcaf4dd7708eda96b9eda0 | |
| id: check-membership | |
| with: | |
| github-token: ${{secrets.DOCS_BOT_PAT_WORKFLOW_READORG}} | |
| result-encoding: string | |
| script: | | |
| const repoName = context.payload.repository.name | |
| const ownerName = context.payload.repository.owner.login | |
| const prAuthor = context.payload.pull_request.user.login | |
| const teamMembers = await github.request( | |
| `/orgs/github/teams/docs/members?per_page=100` | |
| ) | |
| const teamLogins = teamMembers.data.map(member => member.login) | |
| if (teamLogins.some(login => login === prAuthor)) { | |
| console.log(`This pull request was authored by a member of the github/docs team.`) | |
| return 'true' | |
| } | |
| console.log(`This pull request was authored by an external contributor.`) | |
| return 'false' | |
| # Check if docs-bot authored the PR | |
| # If yes, set Type field to "Maintenance" | |
| # If no, set Type field to "External contributor PR" | |
| - name: Check if docs-bot is PR author | |
| env: | |
| PR_AUTHOR_ID: ${{ github.event.pull_request.user.id }} | |
| run: | | |
| if [ $PR_AUTHOR_ID == 77750099 ]; then | |
| echo "TYPE_FIELD_VALUE=3f142cf2" >> $GITHUB_ENV | |
| else | |
| echo "TYPE_FIELD_VALUE=bbd0922a" >> $GITHUB_ENV | |
| fi | |
| - name: Add the docs-content-fr label | |
| if: ${{ steps.check-membership.outputs.result == 'false' }} | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| PR_URL: ${{ github.event.pull_request.html_url }} | |
| run: | | |
| gh pr edit $PR_URL --add-label docs-content-fr | |
| # Add to the FR project | |
| # and set type to "Maintenance" or "External contributor PR" | |
| # and set date to now | |
| - name: Triage to docs-content FR project | |
| if: steps.check-membership.outputs.result == 'false' | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.DOCS_BOT_PAT_WRITEORG_PROJECT }} | |
| PR_URL: ${{ github.event.pull_request.html_url }} | |
| PROJECT_NUMBER: 11672 | |
| PROJECT_ID: PVT_kwDNJr_OAGNkBg | |
| TYPE_FIELD_ID: PVTSSF_lADNJr_OAGNkBs4D-Nyn | |
| DATE_FIELD_ID: PVTF_lADNJr_OAGNkBs4D-N1h | |
| run: | | |
| echo "Adding item to project..." | |
| ITEM_ID=$(gh project item-add $PROJECT_NUMBER --owner github --url $PR_URL --format json | jq .id) | |
| echo "Editing type..." | |
| gh project item-edit --project-id $PROJECT_ID --id $ITEM_ID --field-id $TYPE_FIELD_ID --single-select-option-id ${{ env.TYPE_FIELD_VALUE }} | |
| echo "Editing date..." | |
| DATE=$(date '+%Y-%m-%d') | |
| gh project item-edit --project-id $PROJECT_ID --id $ITEM_ID --field-id $DATE_FIELD_ID --date $DATE | |
| echo "done editing" |