Ping the user who enqueued a PR when it's removed from the merge queue - #4265

Ping the user who enqueued a PR when it's removed from the merge queue#4265

henrymercer merged 2 commits into

maingithub/codeql-action:mainfrom

henrymercer/notify-enqueuer-on-dequeuegithub/codeql-action:henrymercer/notify-enqueuer-on-dequeueCopy head branch name to clipboard