github: list branches from origin instead of local

After cloning in actions/checkout, there'll be only one branch. List the branches from the remote.
groovescore · Nov 16, 2024 · 660653a · 660653a
1 parent 9b5db0b
commit 660653a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/config.py b/.github/config.py
@@ -15,9 +15,9 @@ def git_tags():
     return git(cmd)
 
 def git_branches():
-    cmd = ['git', 'branch', '--list', '--format=%(refname:short)']
+    cmd = ['git', 'branch', '--remotes', '--format=%(refname:short)']
 
-    return git(cmd)
+    return [branch.removeprefix('origin/') for branch in git(cmd) if branch != 'origin/HEAD']
 
 def main():
     parser = argparse.ArgumentParser()