Skip to content

use push remote url#310

Merged
ezyang merged 1 commit intoezyang:masterfrom
v0i0:v0i0/remote-is-push
Dec 30, 2025
Merged

use push remote url#310
ezyang merged 1 commit intoezyang:masterfrom
v0i0:v0i0/remote-is-push

Commits

Commits on Dec 24, 2025