1
0
Fork 0
mirror of https://github.com/Kozea/Radicale.git synced 2025-08-13 18:50:53 +00:00

Merge pull request #1756 from Unrud/fix/duplicate-branches

Website: Filter duplicate branch names
This commit is contained in:
Peter Bieringer 2025-04-13 06:58:32 +02:00 committed by GitHub
commit 84f47dbcbb
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -136,6 +136,7 @@ def main():
run_git_fetch_and_restart_if_changed(remote_commits, target_branch) run_git_fetch_and_restart_if_changed(remote_commits, target_branch)
branches = [ref[len("refs/remotes/%s/" % REMOTE):] for ref in run_git( branches = [ref[len("refs/remotes/%s/" % REMOTE):] for ref in run_git(
"rev-parse", "--symbolic-full-name", "--remotes=%s" % REMOTE)] "rev-parse", "--symbolic-full-name", "--remotes=%s" % REMOTE)]
branches = list(set(branches))
with TemporaryDirectory(prefix="%s-" % PROG) as temp: with TemporaryDirectory(prefix="%s-" % PROG) as temp:
branch_docs = {} branch_docs = {}
for branch in branches[:]: for branch in branches[:]: