annotate github-push.sh @ 959:c104dbf5bbb8

did: adjust integer sizes to match vulkan API (more) directly
author sam <sam@basx.dev>
date Tue, 02 Apr 2024 16:09:38 +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