"Hmm, what is github's policy when the account holder dies?" Don't worry, GitHub repository ownership can be legally transferred "How did you copy it? Try scp or rsync." I simply did an upload to Google Drive, erased the installer and app on the Mac, and then did a download from the same Chrome-Google-Drive page.