Skip to content

fix: enforce placeholder usage for workspace comment#9463

Merged
gonfunko merged 2 commits intoRaspberryPiFoundation:mainfrom
SimonShiki:fix/workspace-comment-placeholder
Dec 5, 2025
Merged

fix: enforce placeholder usage for workspace comment#9463
gonfunko merged 2 commits intoRaspberryPiFoundation:mainfrom
SimonShiki:fix/workspace-comment-placeholder

Conversation

@SimonShiki
Copy link
Copy Markdown
Contributor

The basics

The details

Workspace comment's placeholder don't get duplicated with comment itself. This pr make workspace comment uses placeholder by default.

Resolves

Fixes #9462

Proposed Changes

Make workspace comment uses placeholder by default.

Reason for Changes

Placeholder should keep exists.

Test Coverage

Documentation

Additional Information

@github-actions github-actions bot added the PR: fix Fixes a bug label Nov 11, 2025
Copy link
Copy Markdown
Contributor

@github-actions github-actions bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Welcome! It looks like this is your first pull request in Blockly, so here are a couple of tips:

  • You can find tips about contributing to Blockly and how to validate your changes on our developer site.
  • All contributors must sign the Google Contributor License Agreement (CLA). If the google-cla bot leaves a comment on this PR, make sure you follow the instructions.
  • We use conventional commits to make versioning the package easier. Make sure your commit message is in the proper format or learn how to fix it.
  • If any of the other checks on this PR fail, you can click on them to learn why. It might be that your change caused a test failure, or that you need to double-check the style guide.
    Thank you for opening this PR! A member of the Blockly team will review it soon.

@gonfunko gonfunko self-requested a review December 4, 2025 22:12
@gonfunko gonfunko self-assigned this Dec 4, 2025
@gonfunko
Copy link
Copy Markdown
Contributor

gonfunko commented Dec 4, 2025

Thanks for reporting this and sending a fix, and sorry for the delay in getting back to you – we've been moving from Google to the Raspberry Pi Foundation, and it seems that the review auto-assigner had some hiccups during that process. Generally this looks good, but the lint check is failing – could you run npm run format and commit the change that generates? Once that's done we should be able to merge this.

Signed-off-by: SimonShiki <[email protected]>
@SimonShiki SimonShiki requested a review from a team as a code owner December 5, 2025 00:16
@gonfunko gonfunko merged commit da5e8e6 into RaspberryPiFoundation:main Dec 5, 2025
8 of 9 checks passed
@gonfunko
Copy link
Copy Markdown
Contributor

gonfunko commented Dec 5, 2025

Thanks again for the bug report and fix, we really appreciate it!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

PR: fix Fixes a bug

Projects

None yet

Development

Successfully merging this pull request may close these issues.

workspace comment's placeholder don't get duplicated with comment itself

2 participants