view github-push.sh @ 1045:e02d8e65d68e

fix: a few small (vulkan) API optimizations
author sam <sam@basx.dev>
date Fri, 29 Mar 2024 15:08:33 +0700
parents 459fe2761311
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