Replies: 1 comment 1 reply
-
I don't think we need this. Because when a PR is closed, after linking it to issues or viceversa through the GitHub interface, the issues linked are closed too. Though I did read on its repo README that it supports at least two additional features/use cases
So perhaps it will prove useful if we get to the point of setting up a more complex git flow, with a At least this is what I personally think. Nevertheless, thanks for the suggestion @mepox |
Beta Was this translation helpful? Give feedback.
1 reply
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Hi @bglamadrid !
This is the second github action I wanted to share. This is independent of the other one I mentioned.
So this one close the related issue when you merge a PR. The requirement is to use a prefix in the PR title like:
Close #1
etc.Source: https://github.com/ldez/gha-mjolnir
Example:
Beta Was this translation helpful? Give feedback.
All reactions