Skip to content

Conversation

@tbries
Copy link

@tbries tbries commented Nov 25, 2025

The companion repo which holds the code for the badges is badger/home but was originally named badger/tufty. The functional references to account for the name change were made in 5c41f56

This PR updates a few remaining tufty references to account for the name change. Given the repo name doesn't always make sense out of context, I elected to reword a couple sentences to avoid confusion and where which repo was being referenced should be clear without having to name it.

Copilot AI review requested due to automatic review settings November 25, 2025 23:30
Copilot finished reviewing on behalf of tbries November 25, 2025 23:32
Copy link

Copilot AI left a comment

Choose a reason for hiding this comment

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

Pull request overview

This PR updates documentation to reflect the repository name change from badger/tufty to badger/home, completing the transition started in a previous commit.

  • Updated folder path references from tufty-main to home-main
  • Reworded references to use "Home" or "the repo" for clarity
  • Maintained consistency across installation guides

Reviewed changes

Copilot reviewed 3 out of 3 changed files in this pull request and generated no comments.

File Description
src/content/hacks/snake-install.mdx Updated step titles, folder paths, and description to reference home-main instead of tufty-main
src/content/hacks/menu-pagination.mdx Changed reference from "Tufty repo" to "the repo" in the introduction
src/content/hacks/commits-game.mdx Updated prerequisites, folder paths, and cleanup text to use "Home" and home-main instead of "Tufty" and tufty-main

@tbries
Copy link
Author

tbries commented Nov 25, 2025

@badger/reviewers I see you are in CODEOWNERS but given you are not being automatically assigned to this PR, I think the team may not have explicit permission to maintain this repo, even if your members indirectly do.

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.

1 participant