Does this even come close
This repo showcases how to trigger an Github Actions workflow when a PR has been closed. Additionally it shows how you can distinguish whether the PR has been merged or not.d
Does this even come close
This repo showcases how to trigger an Github Actions workflow when a PR has been closed. Additionally it shows how you can distinguish whether the PR has been merged or not.d