PR #6317 Omit formatter PRs from releases by default

Omit formatter PRs from releases by default #6317

charliermarsh merged 1 commit into main from charlie/releases

Omit formatter PRs from releases by default

59b23313

charliermarsh added release

charliermarsh requested a review from

zanieb 2 years ago

konstin approved these changes on 2023-08-03

charliermarsh enabled auto-merge (squash) 2 years ago

charliermarsh merged 8276b264 into main 2 years ago

charliermarsh deleted the charlie/releases branch 2 years ago

Reviewers

konstin

zanieb

Assignees

No one assigned

Labels

release

Milestone

No milestone