Skip to content

Handle git push when there is no remote - #54522

Merged
ChristopherBiscardi merged 1 commit into
zed-industries:mainfrom
ChristopherBiscardi:push-no-remote
Apr 22, 2026
Merged

ChristopherBiscardi merged 1 commit into
zed-industries:mainfrom
ChristopherBiscardi:push-no-remote

Handle git push when there is no remote

8b1d1f0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning

The logs for this run have expired and are no longer available.