Skip to content

Swap files tab header from editable project name to fixed title - #1336

Merged
microbit-robert merged 1 commit into
home-pagefrom
files-tab-header
Sep 16, 2026
Merged

microbit-robert merged 1 commit into
home-pagefrom
files-tab-header

Conversation

@microbit-robert

Copy link
Copy Markdown
Collaborator

Uses new string ids to prevent stale translations.

project-tab-description has never been used in the deployed version.

@github-actions

Copy link
Copy Markdown

@microbit-robert
microbit-robert merged commit a12adcb into home-page Sep 16, 2026
2 checks passed
@microbit-robert
microbit-robert deleted the files-tab-header branch September 16, 2026 12:33
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