chore: add feature-flagged placeholder for CLI profiles (#38922)

- new feature flag: `docs:hide_cli_profiles`
- this must be implemented as a "negative" flag (hide instead of
  enable), because our current temporary hack for creating the Nimbus
  search index requires that the default state for all flags be true
This commit is contained in:
Charis
2025-09-22 13:01:15 -04:00
committed by GitHub
parent 4978d24adc
commit bcb809df8e
3 changed files with 13 additions and 0 deletions

View File

@@ -40,6 +40,7 @@
"docs:framework_quickstarts": true,
"docs:full_getting_started": true,
"docs:full_platform": true,
"docs:hide_cli_profiles": true,
"docs:mobile_tutorials": true,
"docs:pgtap": true,
"docs:production_checklist": true,

View File

@@ -115,6 +115,7 @@
"type": "boolean",
"description": "Enable the database roles page"
},
"docs:auth": {
"type": "boolean",
"description": "Enable auth docs"
@@ -143,6 +144,10 @@
"type": "boolean",
"description": "Enable full platform documentation"
},
"docs:hide_cli_profiles": {
"type": "boolean",
"description": "Hide docs on CLI profiles"
},
"docs:mobile_tutorials": {
"type": "boolean",
"description": "Enable mobile tutorials getting started documentation"
@@ -337,6 +342,7 @@
"docs:framework_quickstarts",
"docs:full_getting_started",
"docs:full_platform",
"docs:hide_cli_profiles",
"docs:mobile_tutorials",
"docs:pgtap",
"docs:production_checklist",