From f42ac30b3ff7ef1dec5938ad22dd61ad3fbf307f Mon Sep 17 00:00:00 2001
From: Minimons <morten.g.hermansen@gmail.com>
Date: Mon, 27 Jul 2026 10:45:33 +0200
Subject: [PATCH] X: publishGitHub.sh should support a default branch

---
 publishGitHub.sh | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/publishGitHub.sh b/publishGitHub.sh
index 429d244..9f0fee0 100755
--- a/publishGitHub.sh
+++ b/publishGitHub.sh
@@ -1,12 +1,14 @@
 #!/usr/bin/env bash
 set -euo pipefail
 
-if [ "$#" -ne 1 ]; then
-    echo "Usage: $0 <github-snapshot-branch>" >&2
+DEFAULT_BRANCH=0.1-dev
+
+if [ "$#" -gt 1 ]; then
+    echo "Usage: $0 [github-snapshot-branch]" >&2
     exit 1
 fi
 
-BRANCH="$1"
+BRANCH="${1:-$DEFAULT_BRANCH}"
 
 SOURCE="$HOME/projects/com_r35157_nenjim-hubd-impl_ref"
 TARGET="$HOME/projects/com_r35157_nenjim-hubd-impl_ref_github_snapshot"