Skip to content

Promote develop to main: Read an Empty prose_lint --diff as a Failed Base - #1567

Merged
ptr727 merged 1 commit into
mainfrom
develop
Sep 12, 2026
Merged

Promote develop to main: Read an Empty prose_lint --diff as a Failed Base#1567
ptr727 merged 1 commit into
mainfrom
develop

Read an Empty prose_lint --diff as a Failed Base, Not as No Diff (#1566)

e4aa5d8
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar