On Mon, Jun 15, 2015 at 10:56 AM, Toshio Kuratomi <a.badger(a)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.