Skip to content

Handle deleted refs in push notifications - #40

Merged
hnrobert merged 2 commits into
mainfrom
develop
Nov 1, 2026
Merged

hnrobert merged 2 commits into
mainfrom
develop

Conversation

@hnrobert

@hnrobert hnrobert commented Nov 1, 2026

Copy link
Copy Markdown
Owner

No description provided.

@hnrobert hnrobert linked an issue Nov 1, 2026 that may be closed by this pull request
@hnrobert
hnrobert merged commit 423444b into main Nov 1, 2026
4 checks passed
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.

删除分支显示为了 New push / push 0 commits

2 participants