annotate github-push.sh @ 1056:0c0be07b97cc

fix: error, and shorten some code
author sam <sam@basx.dev>
date Sat, 30 Mar 2024 22:21:47 +0700
parents 459fe2761311
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1037
459fe2761311 some cleanup
sam <sam@basx.dev>
parents:
diff changeset
1 #!/bin/bash
459fe2761311 some cleanup
sam <sam@basx.dev>
parents:
diff changeset
2
459fe2761311 some cleanup
sam <sam@basx.dev>
parents:
diff changeset
3
459fe2761311 some cleanup
sam <sam@basx.dev>
parents:
diff changeset
4 # prevent endless recursion
459fe2761311 some cleanup
sam <sam@basx.dev>
parents:
diff changeset
5 if [[ "$HG_ARGS" == *"github-mirror"* ]]; then
459fe2761311 some cleanup
sam <sam@basx.dev>
parents:
diff changeset
6 exit 0
459fe2761311 some cleanup
sam <sam@basx.dev>
parents:
diff changeset
7 fi
459fe2761311 some cleanup
sam <sam@basx.dev>
parents:
diff changeset
8
459fe2761311 some cleanup
sam <sam@basx.dev>
parents:
diff changeset
9 hg bookmark hg
459fe2761311 some cleanup
sam <sam@basx.dev>
parents:
diff changeset
10 hg push github-mirror
459fe2761311 some cleanup
sam <sam@basx.dev>
parents:
diff changeset
11