Don't stomp on do_import_archive's changes in github_pull (fixes #58)