Closed mkoeppe closed 1 year ago
Which step of the migration process do we fix and start again?
Running migrate.py
again after fixing the code to make a fresh migration archive.
I've already committed a change in the output format (batching json), which our github contact suggested to give a much(?) faster import speed.
OK. Thanks.
Done in 830c4f3...bbb7375
Also https://github.com/sagemath/sage/files/ticket9385/dMMCACHEEDGE.LOG
is rejected.
I don't see anything special about it. It is just a plain text file.
Fixed by c79cdb7
There are a few files that are causing errors on import into github.com
The first two should be compressed:
And the png files should be attachments instead. - per github contact.