view github-push.sh @ 950:fe48b091e83f

did: tons of small improvments, on the way to make GPU sync (more) correct I guess
author sam <sam@basx.dev>
date Sun, 31 Mar 2024 22:11:50 +0700
parents 6baa9d0a354e
children
line wrap: on
line source

#!/bin/bash


# prevent endless recursion
if [[ "$HG_ARGS" == *"github-mirror"* ]]; then
    exit 0
fi

hg bookmark hg
hg push github-mirror