annotate github-push.sh @ 938:5838b9ef52db

merge
author sam <sam@basx.dev>
date Fri, 29 Mar 2024 15:10:23 +0700
parents 6baa9d0a354e
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
928
6baa9d0a354e some cleanup
sam <sam@basx.dev>
parents:
diff changeset
1 #!/bin/bash
6baa9d0a354e some cleanup
sam <sam@basx.dev>
parents:
diff changeset
2
6baa9d0a354e some cleanup
sam <sam@basx.dev>
parents:
diff changeset
3
6baa9d0a354e some cleanup
sam <sam@basx.dev>
parents:
diff changeset
4 # prevent endless recursion
6baa9d0a354e some cleanup
sam <sam@basx.dev>
parents:
diff changeset
5 if [[ "$HG_ARGS" == *"github-mirror"* ]]; then
6baa9d0a354e some cleanup
sam <sam@basx.dev>
parents:
diff changeset
6 exit 0
6baa9d0a354e some cleanup
sam <sam@basx.dev>
parents:
diff changeset
7 fi
6baa9d0a354e some cleanup
sam <sam@basx.dev>
parents:
diff changeset
8
6baa9d0a354e some cleanup
sam <sam@basx.dev>
parents:
diff changeset
9 hg bookmark hg
6baa9d0a354e some cleanup
sam <sam@basx.dev>
parents:
diff changeset
10 hg push github-mirror
6baa9d0a354e some cleanup
sam <sam@basx.dev>
parents:
diff changeset
11