gitpython修剪本地分支

Question

我正在尝试通过gitpython实现git remote prune origin。我可以使用Repo(path).remote('origin').stale_refs获得要删除的分支。

你知道我该怎么修剪这些吗？

Answer 1

从我的经验来看，这似乎是可行的：

repo = git.Repo(path)
for branch in repo.remote('origin').stale_refs:
  if isinstance(branch, git.refs.remote.RemoteReference):
    type(branch).delete(repo, branch)
  else:
    pass  # it seems stale_refs can include tags (etc?)