chore: merge main into v13#9775
Merged
maribethb merged 54 commits intoRaspberryPiFoundation:v13from Apr 29, 2026
Merged
Conversation
Allows for manual Actions Workflow run for deployment, not automatic. Can be run against a given release/tag.
Also setting correct GitHub org name
For: - Class blocks - Codelab cards - Homepage features - Images
Sidebar, index page, ToCs
This was leftover from the previous docs site / build process
Both images declared through ![]() in Markdown, and using the Image component had output paths that were incorrect
Update docs build script to reflect this, and fix some mdx generation errors Add .gitignore to docs/reference/ to keep generated md/mdx out of version control Add Docusaurus redirect config for /reference/js/ -> /reference/
…nstead Adds: - CodelabImage - CompareBlock - TableHeader
Removing duplicate docs/img/ dir Adds correct favicon Removes unneeded default Docusaurus images/assets
Component was superfluous, we can achieve the same with regular Markdown table syntax and a very small amount of CSS
Due to poor Prettier support https://github.com/orgs/mdx-js/discussions/2127
Before generating the site, also gracefully handle the missing "references" sidebar config. Remove the, now generated, _reference.js sidebar config file
ie. no need to build the entire Blockly package, with Closure compiler, just for the docs
Primarily to reference docs, also links to the GitHub repo prior to the monorepo reshuffle.
Ensure that the docs package utilises the same version of eslint and prettier as the blockly package.
Prevents auto loading of @types packages by TypeScript test config. This avoids docs @types/mdx leaking into Blockly’s type_definitions check.
With npm installing packages to the root `node_modules` dir (due to now handling both packages/blockly and packages/docs), the Mocha script location is most likely to be `node_modules/mocha`, but maintains a fallback path for `packages/blockly/node_modules/mocha`.
chore(docs): migrate to Docusaurus and GitHub Pages
* fix: Make the undo/redo API more ergonomic * fix: Update callers to use the new API * chore: Fix lint
gonfunko
approved these changes
Apr 29, 2026
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
4 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Merges main into v13. This must be a merge commit.
The only conflicts were: