Skip to content

Conversation

@novusnota
Copy link
Collaborator

Closes #1479
Helps with #1421

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.

No documentation issues detected.

Copy link
Collaborator

@verytactical verytactical left a comment

Choose a reason for hiding this comment

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

Bumping mint should be done in its own separate PR, and a separate issue.

@verytactical verytactical marked this pull request as draft November 28, 2025 23:32
@novusnota novusnota changed the title chore: bump mint, ensure correct Node.js version, add Tolk or otherwise appropriate filename title to all Tolk code blocks outside of /languages/tolk chore: add an appropriate title to all Tolk code blocks outside of /languages/tolk Nov 28, 2025
@novusnota
Copy link
Collaborator Author

Bumping mint should be done in its own separate PR, and a separate issue.

Done! Here, I've left only the Tolk bits, and instead of opening a dull "bump mint" PR again, let's enable automatic weekly bump for all such packages with Dependabot: #1485

@novusnota novusnota marked this pull request as ready for review November 29, 2025 00:03
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.

No documentation issues detected.

@verytactical verytactical merged commit abc237d into main Dec 1, 2025
8 checks passed
@verytactical verytactical deleted the closes-1479 branch December 1, 2025 13:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[Tolk] Add a title to all Tolk code snippets outside of /languages/tolk that do not have one yet

3 participants