ruff
Add API to chain comment placement operations
#6319
Merged

Add API to chain comment placement operations #6319

charliermarsh merged 1 commit into main from charlie/or-else
charliermarsh
charliermarsh Then-with
f3c83e54
charliermarsh charliermarsh changed the title Then-with An API to chain comment placement operations 2 years ago
charliermarsh charliermarsh changed the title An API to chain comment placement operations Add API to chain comment placement operations 2 years ago
charliermarsh charliermarsh added formatter
charliermarsh charliermarsh requested a review from MichaReiser MichaReiser 2 years ago
charliermarsh charliermarsh requested a review from konstin konstin 2 years ago
github-actions
zanieb
zanieb approved these changes on 2023-08-04
zanieb
charliermarsh charliermarsh merged d3aa8b4e into main 2 years ago
charliermarsh charliermarsh deleted the charlie/or-else branch 2 years ago
MichaReiser
MichaReiser commented on 2023-08-04

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone