From bf24f8f9b65da96a746c2b78fa307e95f085dacc Mon Sep 17 00:00:00 2001 From: Unrud Date: Sun, 13 Apr 2025 00:03:55 +0200 Subject: [PATCH] Filter duplicate branch names --- documentation-generator/run.py | 1 + 1 file changed, 1 insertion(+) diff --git a/documentation-generator/run.py b/documentation-generator/run.py index d109bfcf..d4ae7b65 100755 --- a/documentation-generator/run.py +++ b/documentation-generator/run.py @@ -136,6 +136,7 @@ def main(): run_git_fetch_and_restart_if_changed(remote_commits, target_branch) branches = [ref[len("refs/remotes/%s/" % REMOTE):] for ref in run_git( "rev-parse", "--symbolic-full-name", "--remotes=%s" % REMOTE)] + branches = list(set(branches)) with TemporaryDirectory(prefix="%s-" % PROG) as temp: branch_docs = {} for branch in branches[:]: