changeset 971:4ca3b53d311c

del: unnecessary script, using it only on main host
author sam <sam@basx.dev>
date Wed, 03 Apr 2024 21:06:24 +0700
parents 4abb83d6af00
children 6f71f765a546
files github-push.sh
diffstat 1 files changed, 0 insertions(+), 11 deletions(-) [+]
line wrap: on
line diff
--- 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
-