Skip to content

ci: add PR Monday Notifier workflow#21

Closed
fiverr-sourcegraph wants to merge 1 commit intomasterfrom
ci/add-pr-monday-notifier
Closed

ci: add PR Monday Notifier workflow#21
fiverr-sourcegraph wants to merge 1 commit intomasterfrom
ci/add-pr-monday-notifier

Commits

Commits on Apr 30, 2026