SCRIPTS: use /usr/bin/env bash instead of /bin/bash for scripts
Given that some OSes have bash in /usr/local/bin and in order not to
give too easy an excuse to Olivier for not backporting fixes, let's
make a few scripts rely on /usr/bin/env bash instead of /bin/bash :-)
diff --git a/scripts/backport b/scripts/backport
index c876651..28a0603 100755
--- a/scripts/backport
+++ b/scripts/backport
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
USAGE="Usage: ${0##*/} <last> <commit> [...]"
START="$PWD"