githubtraining / training-manual

Home of the words in the GitHub Training Manual and teaching scripts.
https://githubtraining.github.io/training-manual
Creative Commons Attribution 4.0 International
269 stars 273 forks source link

Conflict repo cleanup fails #381

Closed jessehouwing closed 1 year ago

jessehouwing commented 2 years ago

Just ran the cleanup script and only the games repo is cleaned up. All conflict repos remained.

I commented out the is reachable check in the cleanup script

  #if repo_is_reachable "$org_url/$practice_repo_name-$student"; then
    echo "Deleting $practice_repo_name-$student... "
    # delete the existing practice repo
    http --auth "$TOKEN_OWNER:$TEACHER_PAT" \
      DELETE "$org_repos_endpoint/$practice_repo_name-$student" >>log.out 2>&1
  #fi

And ran it again, now all repos are removed without issue.

I suspect the fact I'm org admin, but not a contributor on those private repos might have something to do with it.