annotate github-push.sh @ 936:36614dd177a0

del: unnecesary device feature (included in Vulkan 1.2)
author sam <sam@basx.dev>
date Mon, 25 Mar 2024 23:33:16 +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