Skip to content

Notify on PR merged#4173

Merged
itzg merged 1 commit into
masterfrom
misc/notify-on-pr-merge
Jul 16, 2026
Merged

Notify on PR merged#4173
itzg merged 1 commit into
masterfrom
misc/notify-on-pr-merge

Conversation

@itzg

@itzg itzg commented Jul 16, 2026

Copy link
Copy Markdown
Owner

No description provided.

@itzg itzg added the chore label Jul 16, 2026
@itzg
itzg merged commit 3302bdb into master Jul 16, 2026
6 checks passed
@itzg
itzg deleted the misc/notify-on-pr-merge branch July 16, 2026 15:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant