Use #!/bin/bash for script with bash-specific commands

The test/Resources/push.sh calls pushd/popd, which is not a POSIX
shell feature but a Bash extension.

tests/resources/push.sh

-#!/bin/sh
+#!/bin/bash
 #creates push_src repo for libgit2 push tests.
 set -eu