WARNING: THIS SITE IS A MIRROR OF GITHUB.COM / IT CANNOT LOGIN OR REGISTER ACCOUNTS / THE CONTENTS ARE PROVIDED AS-IS / THIS SITE ASSUMES NO RESPONSIBILITY FOR ANY DISPLAYED CONTENT OR LINKS / IF YOU FOUND SOMETHING MAY NOT GOOD FOR EVERYONE, CONTACT ADMIN AT ilovescratch@foxmail.com
Skip to content

build(deps): bump urllib3 from 2.2.2 to 2.6.0 in /.github/actions/merge #4

build(deps): bump urllib3 from 2.2.2 to 2.6.0 in /.github/actions/merge

build(deps): bump urllib3 from 2.2.2 to 2.6.0 in /.github/actions/merge #4

name: Close PRs to master
# WARNING: Do NOT use org level secrets or checkout any code in this
# workflow
on:
pull_request_target:
types: [opened]
branches:
- master
workflow_dispatch:
jobs:
close:
runs-on: ubuntu-latest
permissions:
pull-requests: write
steps:
- name: Check and close
run: |
has_label=$(gh pr view "$PR_NUM" --json labels -q '.labels | any(.name == "leave-open" or .name == "dependencies")')
if [[ "$has_label" != "true" ]]; then
echo "Not labeled 'leave-open' or 'dependencies'. Closing."
gh pr close "$PR_NUM" -c "$COMMENT"
fi
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
GH_REPO: ${{ github.repository }}
PR_NUM: ${{ github.event.pull_request.number }}
COMMENT: >
This PR is automatically closed because application submission
PRs must be made against the new-pr branch. If this is done
in error, please comment.
![PR Image](https://raw.githubusercontent.com/flathub/flathub/refs/heads/master/.github/images/pr_image.png)