Skip to content

add status filter for development tools#2634

Merged
Simek merged 2 commits into
mainfrom
dev-tools-filter
Jul 10, 2026
Merged

add status filter for development tools#2634
Simek merged 2 commits into
mainfrom
dev-tools-filter

Conversation

@Simek

@Simek Simek commented Jul 10, 2026

Copy link
Copy Markdown
Member

📝 Why & how

So far we were only able to hide development tools from the list, no there is a way to only show them (filter dev tools) on the website and via API.

✅ Checklist

  • Explained how you fixed the issue or built the feature.

Preview

Screenshot 2026-07-10 160812

@Simek
Simek merged commit b2c0d92 into main Jul 10, 2026
2 checks passed
@Simek
Simek deleted the dev-tools-filter branch July 10, 2026 14:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant