Jenkins postbuild script assign github reviewer

reviewer.sh

#!/bin/bash
rand() {
	echo $(( $1 * RANDOM / 32768 ))
}
rand_element () {
	local -a th=("$@")
	echo "${th[$( rand ${#th[@]} )]}"
}

reviewers=(hSATAC poga aar0nTw hanklin kerkerj)
committer=`ghi show $ghprbPullId | grep "opened this pull request" | awk '{ print substr($1,2); }'`
echo "Commiter: $committer"
echo -en "\n"
reviewers=(${reviewers[@]/$committer/})
echo "Reviewers: ${reviewers[@]}"
echo -en "\n"
reviewer="$(rand_element ${reviewers[@]})"
echo "Randomed Reviewer: $reviewer"
echo -en "\n"

ghi assign $ghprbPullId  $reviewer
ghi comment -m "Please code review this PR: @$reviewer" $ghprbPullId