annotate github-push.sh @ 1038:e267983f5edf

did: cleanup
author sam <sam@basx.dev>
date Fri, 22 Mar 2024 11:42:27 +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