3 ms·

agreed, but I just put 'archived' git repos in, ironically, dropbox, and delete the private repo on github.