Repository navigation

fix(server): pushing a branch whose remote branch was deleted publishes it again - #29619

Open

saphid wants to merge 4 commits into

pingdotgg:mainfrom

saphid:fix/gitmanager-hunt

Open

fix(server): pushing a branch whose remote branch was deleted publishes it again#29619
saphid wants to merge 4 commits into
pingdotgg:mainfrom
saphid:fix/gitmanager-hunt

Commits on Nov 2, 2026
- fix(server): pushing a branch whose remote branch was deleted publishes it again
  
  authored and
  github-actions[bot]
  committed
  b2d1e22
- fix(server): a republished branch goes back to the remote it tracked
  
  saphid
  and
  claude
  committed
  744e092
- fix(server): a republished branch keeps its literal name and skips local upstreams
  
  saphid
  and
  claude
  committed
  35a947d
Commits on Nov 3, 2026
- fix(server): republishing a branch keeps its deleted base upstream as the base
  
  saphid
  and
  claude
  committed
  aa683a1