You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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
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”\
The text was updated successfully, but these errors were encountered: