From ac827a0f42ea145c40d316b9e3cef1d70bbdd840 Mon Sep 17 00:00:00 2001
From: embeddedt <42941056+embeddedt@users.noreply.github.com>
Date: Thu, 3 Aug 2023 11:29:04 -0400
Subject: [PATCH] Fix branch list including dev branches

---
 scripts/branchlist.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/branchlist.sh b/scripts/branchlist.sh
index e6c5de00..eee6170f 100755
--- a/scripts/branchlist.sh
+++ b/scripts/branchlist.sh
@@ -1,2 +1,2 @@
 #!/bin/bash
-git ls-remote --heads origin | awk '{print $2}' | sed 's:.*/::' | sort -V | grep -E '^1\.[0-9]*(\.[0-9]*)?$'
+git ls-remote --heads origin | awk '{print $2}' | grep -E '^refs/heads/1\.' | sed 's:.*/::' | sort -V | grep -E '^1\.[0-9]*(\.[0-9]*)?$'