Skip to content

Create new repo_type to handle undo-init exercise#19

Merged
woojiahao merged 1 commit intogit-mastery:mainfrom
jovnc:fix/undo-init
Jan 4, 2026
Merged

Create new repo_type to handle undo-init exercise#19
woojiahao merged 1 commit intogit-mastery:mainfrom
jovnc:fix/undo-init

Conversation

@jovnc
Copy link
Copy Markdown
Contributor

@jovnc jovnc commented Jan 4, 2026

Create new repo_type local-ignore to handle undo-init exercise special case.

woojiahao
woojiahao previously approved these changes Jan 4, 2026
@woojiahao woojiahao self-requested a review January 4, 2026 14:57
@woojiahao woojiahao dismissed their stale review January 4, 2026 14:58

Change requried

Copy link
Copy Markdown
Member

@woojiahao woojiahao left a comment

Choose a reason for hiding this comment

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

Okay verified that these are all the callsites we need to update

@woojiahao woojiahao merged commit 10b6731 into git-mastery:main Jan 4, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants