Skip to content

Add GitHub Actions workflow to delete branch after PR merge #25863

Add GitHub Actions workflow to delete branch after PR merge

Add GitHub Actions workflow to delete branch after PR merge #25863

Annotations

1 warning

danger

succeeded Jan 9, 2025 in 15s