Merge pull request #6581 from roehling/bashism

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

tests/resources/push.sh

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