Delete get_github_repos.sh~