# HG changeset patch
# User sam <sam@basx.dev>
# Date 1712153184 -25200
# Node ID 33374c4350e78ac1085d7199dd458d2d25d191c9
# Parent  87b72668d723ad7119a3d679ed81f3e3888576ef
del: unnecessary script, using it only on main host

diff -r 87b72668d723 -r 33374c4350e7 github-push.sh
--- a/github-push.sh	Wed Apr 03 19:53:20 2024 +0700
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,11 +0,0 @@
-#!/bin/bash
-
-
-# prevent endless recursion
-if [[ "$HG_ARGS" == *"github-mirror"* ]]; then
-    exit 0
-fi
-
-hg bookmark hg
-hg push github-mirror
-