update allowed benchmarkers list (#9570)

Co-authored-by: James Cor <james@dolthub.com>
This commit is contained in:
James Cor
2025-07-23 14:59:34 -07:00
committed by GitHub
parent 7be917e8cf
commit 8814ea1844
@@ -7,7 +7,7 @@ if [[ $# -ne 1 ]]; then
exit 1
fi
validcommentors="coffeegoddd andy-wm-arthur bheni Hydrocharged reltuk tbantle22 timsehn zachmu max-hoffman nicktobey fulghum macneale4 jycor"
validcommentors="coffeegoddd bheni Hydrocharged reltuk tbantle22 timsehn zachmu nicktobey fulghum macneale4 jycor angelamayxie elianddb"
contains() {
[[ $1 =~ (^|[[:space:]])$2($|[[:space:]]) ]] && echo "valid=true" >> $GITHUB_OUTPUT || exit 0