Skip to content

clean-repo-tabs - Drop feature#9550

Merged
fregante merged 2 commits into
mainfrom
bye-clean
May 21, 2026
Merged

clean-repo-tabs - Drop feature#9550
fregante merged 2 commits into
mainfrom
bye-clean

Conversation

@fregante

Copy link
Copy Markdown
Member

@fregante

Copy link
Copy Markdown
Member Author

This is more likely to be restored as part of the core extensible-nav feature, if at all, so I'm still dropping this.

@fregante fregante merged commit 1857cd9 into main May 21, 2026
10 checks passed
@fregante fregante deleted the bye-clean branch May 21, 2026 16:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Development

Successfully merging this pull request may close these issues.

1 participant