diff github-push.sh @ 1037:459fe2761311

some cleanup
author sam <sam@basx.dev>
date Thu, 21 Mar 2024 23:05:17 +0700
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/github-push.sh	Thu Mar 21 23:05:17 2024 +0700
@@ -0,0 +1,11 @@
+#!/bin/bash
+
+
+# prevent endless recursion
+if [[ "$HG_ARGS" == *"github-mirror"* ]]; then
+    exit 0
+fi
+
+hg bookmark hg
+hg push github-mirror
+