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”\
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
existing_collaborators+=("$commenter")
else # Add collaborator
curl -s -S -i -u "$TOKEN_OWNER:$TEACHER_PAT”\