Skip to content

Track repo-config/configure.sh + settings.json in the manifest (#379 follow-up) - #382

Merged
ptr727 merged 1 commit into
developfrom
repo-config-manifest-gap-379
Jul 22, 2026
Merged

Track repo-config/configure.sh + settings.json in the manifest (#379 follow-up)#382
ptr727 merged 1 commit into
developfrom
repo-config-manifest-gap-379

Track the repo-config companions in the manifest (#379 follow-up)

7edc1a8
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar