annotate github-push.sh @ 1043:8467ce0d99de

fix: windows paths
author sam <sam@basx.dev>
date Mon, 25 Mar 2024 07:52:24 -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