pre-push.sh (892B)
1 #!/bin/sh 2 # pre-push.sh 3 # 4 # Copyright The Mbed TLS Contributors 5 # SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later 6 # 7 # Purpose 8 # 9 # Called by "git push" after it has checked the remote status, but before anything has been 10 # pushed. If this script exits with a non-zero status nothing will be pushed. 11 # This script can also be used independently, not using git. 12 # 13 # This hook is called with the following parameters: 14 # 15 # $1 -- Name of the remote to which the push is being done 16 # $2 -- URL to which the push is being done 17 # 18 # If pushing without using a named remote those arguments will be equal. 19 # 20 # Information about the commits which are being pushed is supplied as lines to 21 # the standard input in the form: 22 # 23 # <local ref> <local sha1> <remote ref> <remote sha1> 24 # 25 26 REMOTE="$1" 27 URL="$2" 28 29 echo "REMOTE is $REMOTE" 30 echo "URL is $URL" 31 32 set -eu 33 34 tests/scripts/all.sh -q -k 'check_*'