Delete unneeded workflow

This commit is contained in:
Eduardo Quezada D'Ottone 2023-07-14 07:28:41 -04:00 committed by GitHub
parent d3d582dd70
commit d4bb1dffd7
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

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