Skip to content

docs: add warning #4229

docs: add warning

docs: add warning #4229

Workflow file for this run

# Licensed to the Apache Software Foundation (ASF) under one
# or more contributor license agreements. See the NOTICE file
# distributed with this work for additional information
# regarding copyright ownership. The ASF licenses this file
# to you under the Apache License, Version 2.0 (the
# "License"); you may not use this file except in compliance
# with the License. You may obtain a copy of the License at
#
# http://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing,
# software distributed under the License is distributed on an
# "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
# KIND, either express or implied. See the License for the
# specific language governing permissions and limitations
# under the License.
name: Dev PR
on:
pull_request_target:
types:
- opened
- edited
- synchronize
permissions:
contents: read
issues: write
pull-requests: write
jobs:
process:
name: Process
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
with:
persist-credentials: false
- name: Assign milestone
if: '! github.event.pull_request.draft'
env:
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
run: |
./.github/workflows/dev_pr/milestone.sh "${GITHUB_REPOSITORY}" ${{github.event.number}}
- uses: actions/checkout@v4
with:
fetch-depth: 0
path: pr_checkout
persist-credentials: false
ref: "${{ github.event.pull_request.merge_commit_sha }}"
- name: Check PR title for conventional commit format
env:
PR_TITLE: ${{ github.event.pull_request.title }}
run: |
python .github/workflows/dev_pr/title_check.py $(pwd)/pr_checkout "$PR_TITLE"
# Pings make it into the commit message where they annoy the user every
# time the commit gets pushed somewhere
- name: Check PR body for pings
env:
PR_BODY: ${{ github.event.pull_request.body }}
run: |
[[ "${PR_BODY}" =~ @[a-zA-Z0-9]+ ]] && exit 1 || true