Now that I think of it, it would actually be pretty easy to write a github-archive tool that would clone a repo, compress it, push to s3, then delete from githu

Now that I think of it, it would actually be pretty easy to write a github-archive tool that would clone a repo, compress it, push to s3, then delete from github using the API. It could even do the reverse, as well.