Skip to content

Conversation

@SimonShiki
Copy link

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

@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
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
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