Github Actions PR close showcase

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.