Skip to content

Apply shared_tagbot_workflow patch#33

Merged
mtfishman merged 1 commit intomainfrom
patch/shared_tagbot_workflow
Mar 2, 2026
Merged

Apply shared_tagbot_workflow patch#33
mtfishman merged 1 commit intomainfrom
patch/shared_tagbot_workflow

Conversation

@mtfishman
Copy link
Member

This PR applies the shared_tagbot_workflow patch.

@mtfishman mtfishman merged commit 708e919 into main Mar 2, 2026
9 checks passed
@mtfishman mtfishman deleted the patch/shared_tagbot_workflow branch March 2, 2026 17:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant