Push to a run-ci (whitelisted) branch to run CI on Travis, etc.

git-run-ci

#!/bin/sh

show_usage() {
  cat <<EOF
Usage: $0 branch_name

Push to a run-ci (whitelisted) branch to run CI on Travis, etc.

NOTE: this is only necessary for a project like WebAdMIT that has disabled CI
for branches by default.  We explicitly whitelisted \`run-ci/*\`.

See also: \`.travis.yml\`
EOF
  exit 1
}

branch_name="$1"

if [ "$branch_name" == "" ]; then
  show_usage
fi

set -x
git push --force origin "$branch_name:run-ci/$branch_name"