Skip to content

fix(server): stop grouping unrelated repos that only have a local git remote - #13129

Merged
juliusmarminge merged 1 commit into
pingdotgg:mainfrom
adambuchweitz:abuchweitz/ignore-local-remotes
Oct 18, 2026
Merged

fix(server): stop grouping unrelated repos that only have a local git remote#13129
juliusmarminge merged 1 commit into
pingdotgg:mainfrom
adambuchweitz:abuchweitz/ignore-local-remotes

fix(server): ignore local-path git remotes in repository identity

7cb21db
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Prepare PR size config
succeeded Oct 7, 2026 in 4s