PR #1035 ci: :bug: Add `--push` to apply the delete

ci: :bug: Add `--push` to apply the delete #1035

Anselmoo merged 2 commits into main from fix/mike-delete

ci: :bug: Add `--push` to apply the delete

528ab847

github-actions added github-actions

Merge branch 'main' into fix/mike-delete

9c360794

Anselmoo enabled auto-merge (squash) 1 year ago

Anselmoo merged 3ce9c8dd into main 1 year ago

Anselmoo deleted the fix/mike-delete branch 1 year ago

Reviewers

No reviews

Assignees

No one assigned

Labels

github-actions

Milestone

No milestone