A GitHub Action which helps automating Pull Request merge routine (aka Robin).
Why Robin? As Robin was helping Batman fight the evil, so does Robin help with PRs merge routine.
Event issue_comment triggers GitHub Actions workflow on repository level instead of on PR checks level.
See https://github.community/t5/GitHub-Actions/on-issue-comment-events-are-not-triggering-workflows/td-p/37177.
TBD