Skip to content

Conversation

@pull
Copy link

@pull pull bot commented Sep 22, 2025

See Commits and Changes for more details.


Created by pull[bot] (v2.0.0-alpha.4)

Can you help keep this open source service alive? 💖 Please sponsor : )

charislam and others added 4 commits September 22, 2025 13:01
- 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
* fix mobbin logo in homepage

* upd
@pull pull bot locked and limited conversation to collaborators Sep 22, 2025
@pull pull bot added the ⤵️ pull label Sep 22, 2025
@pull pull bot merged commit 03a142a into code:master Sep 22, 2025
@github-actions github-actions bot added the documentation Improvements or additions to documentation label Sep 23, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

⤵️ pull documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants