Skip to content

Hide the comment when PR is merged - #22

Merged
VisruthSK merged 1 commit into
v3.0from
hide-sticky-comment-merge
Oct 12, 2026
Merged

VisruthSK merged 1 commit into
v3.0from
hide-sticky-comment-merge

Conversation

@VisruthSK

Copy link
Copy Markdown
Member

No description provided.

@VisruthSK VisruthSK added the build-website Build the website automatically label Oct 12, 2026
@VisruthSK VisruthSK changed the title Hide the sticky comment when PR is merged Hide the comment when PR is merged Oct 12, 2026
@github-actions

This comment has been minimized.

@VisruthSK
VisruthSK merged commit b25567a into v3.0 Oct 12, 2026
3 of 4 checks passed
@VisruthSK
VisruthSK deleted the hide-sticky-comment-merge branch October 12, 2026 22:54
github-actions Bot added a commit that referenced this pull request Oct 13, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

build-website Build the website automatically

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant