mirror of
https://github.com/Bubberstation/Bubberstation.git
synced 2026-08-22 04:30:44 +01:00
## About The Pull Request Switch the PR labeler action to use GitHub's built-in action because the current one has been broken for some time now, changes the "Map Modification" label config to be "Map Edit". ## Why It's Good For The Game Broken workflow no good labeled PRs good ## Proof Of Testing https://github.com/TealSeer/Bubberstation/pull/1 (I had to merge the workflow change to master to get it to trigger which I then hard reset so my master wasn't fucked up, so you can't see the config change in this PR but you can see the action working properly) </details> ## Changelog No in game changes
12 lines
199 B
YAML
12 lines
199 B
YAML
name: PR Labeling
|
|
on:
|
|
- pull_request_target
|
|
jobs:
|
|
labeler:
|
|
permissions:
|
|
contents: read
|
|
pull-requests: write
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- uses: actions/labeler@v5
|