Delete unneeded workflow

This commit is contained in:
Eduardo Quezada D'Ottone
2023-07-14 07:27:52 -04:00
committed by GitHub
parent 5f29ae6f99
commit e1f2320f2e

View File

@@ -1,16 +0,0 @@
name: Close issues related to a merged pull request based on master branch.
on:
pull_request:
types: [closed]
branches:
- upcoming
jobs:
closeIssueOnPrMergeTrigger:
runs-on: ubuntu-latest
steps:
- name: Closes issues related to a merged pull request.
uses: ldez/gha-mjolnir@v1.0.3