743de64b48
This commit migrates the repository validation to a webhook-based bot instead of the GitHub Actions workflow (.github/workflows/formal.yml). Since the bot handles stable branch labeling automatically (via the "branch_labeling: true" configuration option), the redundant branch check and labeling steps are removed from .github/workflows/labeler.yml. The following configuration choices are applied in formalities.json: - check_space_after_assignment: false (Disabled temporarily to catch any issues since it is a newly implemented check) - check_makefile_indentation: false (Disabled temporarily to catch any issues since it is a new feature) - check_patch_headers: 'warning' (Changed to warning instead of hard error since many legacy patches lack headers) - enable_stale_bot: false (Disabled for now) Other configurations can be adjusted in formalities.json based on the openwrt-bot-worker repository [1]. [1] https://github.com/openwrt/openwrt-bot-worker Signed-off-by: Josef Schlehofer <pepe.schlehofer@gmail.com> Link: https://github.com/openwrt/openwrt/pull/24256 (cherry picked from commit 9146f931b62e9b20df84566187a837b904df1e2f) Link: https://github.com/openwrt/openwrt/pull/24319 Signed-off-by: Christian Marangi <ansuelsmth@gmail.com> (cherry picked from commit a30deed6bd4348283e8e116014f7da0d8697fdc5)
20 lines
429 B
YAML
20 lines
429 B
YAML
name: 'Pull Request Labeler'
|
|
on:
|
|
- pull_request_target
|
|
|
|
permissions:
|
|
contents: read
|
|
|
|
jobs:
|
|
labeler:
|
|
permissions:
|
|
contents: read # to determine modified files (actions/labeler)
|
|
pull-requests: write # to add labels to PRs (actions/labeler)
|
|
|
|
name: Pull Request Labeler
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- uses: actions/labeler@v6
|
|
with:
|
|
repo-token: '${{ secrets.GITHUB_TOKEN }}'
|