Skip to content

Add new glossary entries back to legacy DevSite glossary file.#29120

Open
katre wants to merge 1 commit intobazelbuild:masterfrom
katre:fix-glosssary-legacy
Open

Add new glossary entries back to legacy DevSite glossary file.#29120
katre wants to merge 1 commit intobazelbuild:masterfrom
katre:fix-glosssary-legacy

Conversation

@katre
Copy link
Collaborator

@katre katre commented Mar 26, 2026

Also add proper anchors to newly added glossary entries.

Also add proper anchors to newly added glossary entries.
@github-actions github-actions bot added team-Documentation Documentation improvements that cannot be directly linked to other team labels awaiting-review PR is awaiting review from an assigned reviewer labels Mar 26, 2026
Copy link
Member

@fweikert fweikert left a comment

Choose a reason for hiding this comment

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

Thanks! I thought about mentioning the old files during the previous review, but didn't do it since I hope we can deprecate the old site soon.

@fweikert fweikert self-assigned this Mar 26, 2026
@fweikert fweikert added awaiting-PR-merge PR has been approved by a reviewer and is ready to be merge internally and removed awaiting-review PR is awaiting review from an assigned reviewer labels Mar 26, 2026
@fweikert fweikert assigned iancha1992 and unassigned fweikert Mar 26, 2026
@iancha1992 iancha1992 added the team-OSS Issues for the Bazel OSS team: installation, release processBazel packaging, website label Mar 26, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

awaiting-PR-merge PR has been approved by a reviewer and is ready to be merge internally team-Documentation Documentation improvements that cannot be directly linked to other team labels team-OSS Issues for the Bazel OSS team: installation, release processBazel packaging, website

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants