Skip to content

docs(extensions): name the runtime local override file - #5159

Open
gavenren wants to merge 2 commits into
github:mainfrom
gavenren:docs/5083-local-config-name
Open

gavenren wants to merge 2 commits into
github:mainfrom
gavenren:docs/5083-local-config-name

docs(extensions): ignore the documented local override file

da2483b
Select commit
Loading
Failed to load commit list.
GitHub License Compliance / License compliance check succeeded Oct 28, 2026 in 2s

No new license compliance alerts in code changed by this pull request

This check concluded as success.

Details

[2026-10-28T15:51:11.004344Z] Starting license check...
[2026-10-28T15:51:11.018318Z] Evaluating dependencies against license policy...
[2026-10-28T15:51:11.277227Z] ✓ License check passed