annotate github-push.sh @ 1041:ad8a927d038a

fix: wrong value for default log level
author sam <sam@basx.dev>
date Sun, 24 Mar 2024 19:11:19 +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