ci: add PR Monday Notifier workflow#34

fiverr-sourcegraph wants to merge 1 commit intomasterfiverr/published:masterfrom

ci/add-pr-monday-notifierfiverr/published:ci/add-pr-monday-notifierCopy head branch name to clipboard