On Mon, Jun 15, 2015 at 10:56 AM, Toshio Kuratomi <a.badger@gmail.com> wrote:

If it's an archive generated using github's automatic archiving
then the procedure you outline below is valid.

Yes, it's generated via github... thanks for taking the time to respond.