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

diff -r 4abb83d6af00 -r 4ca3b53d311c 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
-