Skip to content

chore: rename check_dirtiness -> is_dirty#16359

Merged
Ocean-OS merged 1 commit intomainfrom
rename-check-dirtiness
Jul 13, 2025
Merged

chore: rename check_dirtiness -> is_dirty#16359
Ocean-OS merged 1 commit intomainfrom
rename-check-dirtiness

Commits

Commits on Jul 13, 2025