In codespaces, we're given a default set of permissions every time we log in. Unfortunately, these permissions will not let Terraform delete repositories we've created, so we will need to add that permission. We'll use the GitHub CLI and a quick script to do this. If you're on your machine, you will need the GitHub CLI installed before you proceed with the course. 

unset GITHUB_TOKEN && gh auth login -h github.com -p https -s delete_repo -w