1
0
mirror of https://github.com/simple-icons/simple-icons.git synced 2024-12-16 01:10:30 +02:00

Proposal to autoclose Java requests (#8695)

Co-authored-by: LitoMore <LitoMore@users.noreply.github.com>
This commit is contained in:
Alexandre Paradis 2023-06-02 13:49:41 -04:00 committed by GitHub
parent c7ab3a11ce
commit efb661c24b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

54
.github/workflows/autoclose-issues.yml vendored Normal file
View File

@ -0,0 +1,54 @@
name: Autocloser
on:
issues:
types: [opened, edited]
jobs:
run:
runs-on: ubuntu-latest
steps:
- id: match-title
name: Match title
# if the title contains the word Java (case insensitive)
# we make sure that this word is the end of the string or is followed by a space character (ex. we do not want to match javascript)
# we make sure that this word is the beginning of the string or is preceded by a space character (ex. we do not want to match foojava)
run: |
if [[ ${{ github.event.issue.title }} =~ (^|[[:space:]])([jJ][aA][vV][aA])([[:space:]]|$) ]]; then
echo "match=true" >> $GITHUB_OUTPUT
fi
- id: get-labels
name: Get labels
run: |
labels="$(curl --retry 5 -s https://api.github.com/repos/simple-icons/simple-icons/pulls/${{ github.event.pull_request.number }} | jq '.labels[].name' | tr '\n' ',' | sed -e 's/"//g' -e 's/,$//')"
echo "labels=$labels" >> $GITHUB_OUTPUT
# if the issue is labeled as a 'new icon' and it matches Java, we
# - add a comment referring to the removal request
# - we add the 'duplicate' label
# - we close the issue
- name: Close the issue
if: |
steps.match-title.outputs.match == 'true' &&
contains(steps.get-labels.outputs.labels, 'new icon')
uses: actions/github-script@v6
with:
script: |
github.rest.issues.createComment({
issue_number: context.issue.number,
owner: context.repo.owner,
repo: context.repo.repo,
body: 'This issue was automatically closed. Please refer to #7374.'
})
github.rest.issues.addLabels({
issue_number: context.issue.number,
owner: context.repo.owner,
repo: context.repo.repo,
labels: ['duplicate']
})
github.rest.issues.update({
issue_number: context.issue.number,
owner: context.repo.owner,
repo: context.repo.repo,
state: 'closed'
});