Skip to content

fetch commit from remote#131

Merged
tonyjohnchen merged 1 commit intomainfrom
mb_fetch_from_remote
Feb 28, 2026
Merged

fetch commit from remote#131
tonyjohnchen merged 1 commit intomainfrom
mb_fetch_from_remote

Conversation

@notabee
Copy link
Collaborator

@notabee notabee commented Feb 28, 2026

fetch from remote instead of local

@notabee notabee requested a review from tonyjohnchen February 28, 2026 10:55
Copy link
Collaborator

@tonyjohnchen tonyjohnchen left a comment

Choose a reason for hiding this comment

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

LGTM

@tonyjohnchen tonyjohnchen merged commit 5ef5c75 into main Feb 28, 2026
2 checks passed
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.

2 participants