Skip to content

Rename InterventionStatus → ProjectStatus + retire "intervention" prose - #14

Merged
ProfessorPolymorphic merged 1 commit into
mainfrom
rename-intervention-status-to-project-status
May 3, 2026
Merged

Rename InterventionStatus → ProjectStatus + retire "intervention" prose#14
ProfessorPolymorphic merged 1 commit into
mainfrom
rename-intervention-status-to-project-status

Rename InterventionStatus → ProjectStatus + retire "intervention" prose

5b228fb
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar