Skip to content

Issues notify workflow on PR merge - #317

Merged
itzg merged 1 commit into
masterfrom
misc/issues-notify-prs
Aug 16, 2026
Merged

Issues notify workflow on PR merge#317
itzg merged 1 commit into
masterfrom
misc/issues-notify-prs

Conversation

@itzg

@itzg itzg commented Aug 16, 2026

Copy link
Copy Markdown
Owner

No description provided.

@itzg itzg added the chore label Aug 16, 2026
@itzg itzg changed the title chore: issues notify workflow on PR merge Issues notify workflow on PR merge Aug 16, 2026
@itzg
itzg merged commit c01fc4e into master Aug 16, 2026
1 check passed
@itzg
itzg deleted the misc/issues-notify-prs branch August 16, 2026 21:03
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