chore: show next in order of priority in Dashboard

fixes #1922

scripts/update-workflow-issue

@@ -18,6 +18,16 @@ list_issues_and_prs() {
   (gh pr list -A "$user" "$@" --json number,labels,mergedAt | jq '[.[] | .["closedAt"] = .mergedAt | del(.mergedAt)]'; gh issue list -a "$user" "$@" --json number,labels,closedAt) | jq '.[]' | jq -rs 'sort_by(.closedAt) | reverse' | jq -r "$(map_to_markdown)"
 }
 
+sort_issues_by_priority() {
+  jq -rs 'sort_by(
+    (.labels | map(select(.name == "P0")) | length) as $p0 |
+    (.labels | map(select(.name == "P1")) | length) as $p1 |
+    (.labels | map(select(.name == "P2")) | length) as $p2 |
+    (.labels | map(select(.name == "P3")) | length) as $p3 |
+    ($p0, $p1, $p2, $p3) | map(select(. == 1)) | length
+  )'
+}
+
 update() {
   if test -z "$NOOP"; then
     gh issue edit -F - 728
@@ -77,7 +87,7 @@ $(
     echo "> There are no issues labelled for upcoming work."
     exit 0
   fi
-  echo "$issues"
+  echo "$issues" | sort_issues_by_priority
 )
 
 $(