Skip to content

👷 ci(auto-tagging): avoid duplicating comment on pushes#14

Merged
jfbus merged 1 commit into
mainfrom
label_no_dup_comment
Jul 7, 2026
Merged

👷 ci(auto-tagging): avoid duplicating comment on pushes#14
jfbus merged 1 commit into
mainfrom
label_no_dup_comment

Conversation

@jfbus

@jfbus jfbus commented Jul 7, 2026

Copy link
Copy Markdown
Contributor

No description provided.

@jfbus jfbus force-pushed the label_no_dup_comment branch from 1e7cee6 to 4ab8818 Compare July 7, 2026 08:51
@github-actions

github-actions Bot commented Jul 7, 2026

Copy link
Copy Markdown

🔖 auto-tagging: Adding label "skip-changelog"

@jfbus jfbus force-pushed the label_no_dup_comment branch from 983cc2a to 1a3280e Compare July 7, 2026 08:58
@github-actions

github-actions Bot commented Jul 7, 2026

Copy link
Copy Markdown

🔖 auto-tagging: Adding label "skip-changelog"

@jfbus jfbus force-pushed the label_no_dup_comment branch from 1a3280e to 0fde8bf Compare July 7, 2026 09:02
@github-actions

github-actions Bot commented Jul 7, 2026

Copy link
Copy Markdown

🔖 auto-tagging: Adding label "skip-changelog"

@jfbus jfbus force-pushed the label_no_dup_comment branch 3 times, most recently from 8961e39 to 7682cf0 Compare July 7, 2026 09:08
@jfbus jfbus force-pushed the label_no_dup_comment branch from 7682cf0 to 2f89f87 Compare July 7, 2026 09:10
@jfbus jfbus changed the title 👷 ci(auto-tagging): avoid duplicating comment on force pushes 👷 ci(auto-tagging): avoid duplicating comment on pushes Jul 7, 2026
@jfbus jfbus marked this pull request as ready for review July 7, 2026 09:11
@jfbus jfbus merged commit f9320b1 into main Jul 7, 2026
3 checks passed
@jfbus jfbus deleted the label_no_dup_comment branch July 7, 2026 09:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Development

Successfully merging this pull request may close these issues.

2 participants