Fix script/create-files: if Day 1 collaborator's name contains a name of Day 1 repo admin -> the attendees files and repos are NOT created

[RinatS]

Found by @chrisn555-im: Fixed issue where if another users name is a prefix of the repo owner, no files are created

diff --git a/script/create-files b/script/create-files index 4a235707..8892318a 100755 --- a/script/create-files +++ b/script/create-files @@ -23,7 +23,7 @@ add_collaborators() { echo -e "\nAdding collaborators..." for commenter in "${commenters[@]}"; do # Check if commenter is already a collaborator

• if [[ ${collaborators[*]:?} == "${commenter}" ]]; then

• if [[ " ${collaborators[*]} " =~ " ${commenter} " ]]; then existing_collaborators+=("$commenter") else # Add collaborator curl -s -S -i -u "$TOKEN_OWNER:$TEACHER_PAT”\