Skip to content

fix: Show both local and remote repo name when they differ#1547

Merged
charlesvien merged 2 commits intomainfrom
04-07-show_both_local_and_remote_repo_name_when_they_differ
Apr 9, 2026
Merged

fix: Show both local and remote repo name when they differ#1547
charlesvien merged 2 commits intomainfrom
04-07-show_both_local_and_remote_repo_name_when_they_differ