Commit e070273

committed

git-dot: exclude obsolete remote refs

if a remote ref points to a commit that doesn't exist in the local repository, discard the reference

1 parent 054f051 commit e070273Copy full SHA for e070273

File tree

-0

lines changed

-0

lines changed

Lines changed: 2 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -154,6 +154,8 @@ def main(output, render, view, format, flag_remote, flag_tags,`
`154`	`154`	`'--format=%(objectname) %(refname:short)',`
`155`	`155`	`f'refs/remotes/{remote}/').splitlines():`
`156`	`156`	`refid, ref = info.split()`
	`157`	`+ if refid not in seen:`
	`158`	`+ continue`
`157`	`159`	`remote_heads.node(ref)`
`158`	`160`	`branch_links.add((ref, _shortref(refid)))`
`159`	`161`	`graph.subgraph(remote_heads)`

Comments

(0)