Skip to content

fix(plugin): always emit general.properties in generated project.json - #19

Merged
ShadowNineX merged 1 commit into
mainfrom
codex/github-mention-we-crashes-if-properties-doesn-t-exist-in-pr
Sep 8, 2026
Merged

fix(plugin): always emit general.properties in generated project.json#19
ShadowNineX merged 1 commit into
mainfrom
codex/github-mention-we-crashes-if-properties-doesn-t-exist-in-pr

fix: always emit project properties

242af52
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar