Skip to content

a-change-is-committed-where-it-is-made: a change is on the server from the moment it is made - #872

Merged
VeryComplexAndLongName merged 4 commits into
mainfrom
a-change-is-committed-where-it-is-made
Oct 10, 2026
Merged

VeryComplexAndLongName merged 4 commits into
mainfrom
a-change-is-committed-where-it-is-made

a-change-is-committed-where-it-is-made: the owner's check (4.3)

60e9c0f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

5 warnings and 1 notice
Typecheck, lint, test, and build
succeeded Oct 10, 2026 in 3m 21s