Skip to content

Conversation

Managor
Copy link
Member

@Managor Managor commented Oct 14, 2025

This is a neat bit of usage trivia, but I didn't know where else to put it. I'm looking for opinions if this is a reasonable addition

@github-actions github-actions bot added page edit Changes to an existing page(s). review needed Prioritized PRs marked for reviews from maintainers. labels Oct 14, 2025
Copy link
Member

@dmmqz dmmqz left a comment

Choose a reason for hiding this comment

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

We could alternatively create a .md (or space.md) page.

@Managor
Copy link
Member Author

Managor commented Oct 15, 2025

That feels like a waste. I don't think there is any variation in said syntax and only people who know of said feature will be able to discover it when it's siloed to its own file.

@tldr-bot
Copy link

The build for this PR failed with the following error(s) at commit
6ceddafded93ff22787a5e8b02e6bc0d03abfa4d:

pages/common/history.md:35: TLDR021 Command example should not begin or end in whitespace

Please fix the error(s) and push again.

@Managor
Copy link
Member Author

Managor commented Oct 16, 2025

@sebastiaanspeck How would you suggest fixing the linter problem?

Co-authored-by: Sebastiaan Speck <[email protected]>
@Managor Managor merged commit 0964a45 into main Oct 16, 2025
9 checks passed
@Managor Managor deleted the history branch October 16, 2025 07:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

page edit Changes to an existing page(s). review needed Prioritized PRs marked for reviews from maintainers.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants