Storage for large Ticket Attachments (> 25 MB)

[mkoeppe]

The GitHub importer rejects uploads of large repository_files (> 25 MB).

We have about 12 of those (between 25MB and the maximum size allowed on Trac (50 MB?). They need to find a new home. @williamstein @dimpase @vbraun Can we use the file server (origin of the Sage mirrors) for these?

now="2023-01-13T09:10:42Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=166 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:11:13Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=585 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:11:18Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=661 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:19:34Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=7692 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:20:43Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=8684 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:20:49Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=8774 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:20:49Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=8775 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:20:49Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=8776 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:20:56Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=8856 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:22:56Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=10407 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:23:01Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=10457 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:24:46Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=11769 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:25:33Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=12384 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:25:33Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=12385 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:25:33Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=12386 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:25:35Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=12416 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:25:35Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=12417 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:25:35Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=12418 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:25:35Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=12419 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:25:36Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=12420 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:25:51Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=12642 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:26:33Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=13223 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:29:45Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=15844 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:29:54Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=15983 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:30:36Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=16552 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:31:33Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=17316 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:33:05Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=18556 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:34:43Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=19851 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:34:43Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=19852 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:34:43Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=19853 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:34:43Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=19854 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:36:22Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=21191 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:36:22Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=21192 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:36:22Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=21194 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:36:37Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=21357 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:36:37Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=21358 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:36:37Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=21362 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:36:51Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=21537 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:36:52Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=21558 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:36:53Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=21559 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:36:53Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=21562 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:36:54Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=21580 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:36:54Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=21581 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:36:54Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=21583 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:37:00Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=21653 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:37:04Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=21707 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:37:04Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=21712 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:37:04Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=21713 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:37:05Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=21720 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:37:07Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=21741 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:37:07Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=21742 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:37:07Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=21743 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:37:07Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=21744 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:37:07Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=21745 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:37:08Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=21755 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:37:12Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=21786 field=size validation_error="File size too big: 25 MB are allowed, 37 MB were attempted to upload."
now="2023-01-13T09:37:25Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=21935 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:37:25Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=21936 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:37:26Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=21937 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:37:26Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=21938 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:37:26Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=21939 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:37:32Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=21991 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:37:40Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=22077 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:37:41Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=22082 field=size validation_error="File size too big: 25 MB are allowed, 34 MB were attempted to upload."
now="2023-01-13T09:37:43Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=22088 field=size validation_error="File size too big: 25 MB are allowed, 32 MB were attempted to upload."
now="2023-01-13T09:37:43Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=22089 field=size validation_error="File size too big: 25 MB are allowed, 33 MB were attempted to upload."
now="2023-01-13T09:37:49Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=22135 field=size validation_error="File size too big: 25 MB are allowed, 33 MB were attempted to upload."
now="2023-01-13T09:37:50Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=22136 field=size validation_error="File size too big: 25 MB are allowed, 33 MB were attempted to upload."
now="2023-01-13T09:37:51Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=22150 field=name validation_error="has a file extension that does not match the content type"
now="2023-01-13T09:37:52Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=22154 field=size validation_error="File size too big: 25 MB are allowed, 34 MB were attempted to upload."
now="2023-01-13T09:38:04Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=22242 field=size validation_error="File size too big: 25 MB are allowed, 34 MB were attempted to upload."
now="2023-01-13T09:38:05Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=22243 field=size validation_error="File size too big: 25 MB are allowed, 48 MB were attempted to upload."
now="2023-01-13T09:38:06Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=22244 field=size validation_error="File size too big: 25 MB are allowed, 48 MB were attempted to upload."
now="2023-01-13T09:38:07Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=22245 field=size validation_error="File size too big: 25 MB are allowed, 49 MB were attempted to upload."
now="2023-01-13T09:38:08Z" guid=cae4a192-8fed-11ed-abcd-000000000003 command=import fn="GitHub::Migrator::RepositoryFileImporter#import_model" class="ActiveRecord::RecordInvalid" model_name=repository_file model_id=22246 field=size validation_error="File size too big: 25 MB are allowed, 41 MB were attempted to upload."

[dimpase]

maybe git LFS would be a better way ?

[williamstein]

I agree with @dimpase . It's certainly fine with me if that mirror server is used... but I wouldn't trust it! There's no backups, it's nearly a decade old, and it could randomly die at any moment.

[dimpase]

moneywise, LFS is free for up to 1GB storage and 1GB bandwidth. else, extra 5$ p.m. buys you 50GB storage/bandwidth, so it's really cheap.

[mkoeppe]

So would we create a new repo in the sagemath organization for that, with LFS enabled, or would we use our website repository or another existing one?

[mkoeppe]

Speaking of the mirror server, perhaps we should also create retroactive Releases in sagemath/sage for historical versions of Sage, with the various tarballs as Release Assets?

[williamstein]

+1 to using "Github Releases" -- in my experience they are great for binary (and source) releases. It solves some of the same problems as the current mirror server better and for free, as far as I can tell.

[dimpase]

So would we create a new repo in the sagemath organization for that, with LFS enabled, or would we use our website repository or another existing one?

IMHO LFS can be used in the repository with the issues; e.g. on the current trial server in sagemath/sage-all-2023-01-12-003

[mkoeppe]

I don't think we want the LFS in our main Sage repository?!

[dimpase]

OK, then a separate repo for archiving?

(did you look at these attachments? most are probably meaningless, such as large logs, binary dumps, etc, on closed tickets?)

[mkoeppe]

Some of them are probably sage-srced tarballs such as the giac tarball.

So we may think about a solution that also is good for this use case in the future, not just these 12 historical attachments

On Fri, Jan 13, 2023 at 12:24 PM Dima Pasechnik @.***> wrote:

OK, then a separate repo for archiving?

(did you look at these attachments? most are probably meaningless, such as large logs, binary dumps, etc, on closed tickets?)

— Reply to this email directly, view it on GitHub, or unsubscribe. You are receiving this because you authored the thread.Message ID: @.***>

-- Dr. Matthias Koeppe . . . . . . . . http://www.math.ucdavis.edu/~mkoeppe Professor of Mathematics

[dimpase]

Actually, I am not sure we really need large attachments, with versioning. trac destroys older versions of attachments, as far as I know. I'd rather not have them at all, it's potentially prone to abuse - we don't want to police a repo for rougue videos and whatnot.

[mkoeppe]

Makes sense. Let me take a closer look what those 12 attachments are and maybe there's a clear way how to deal with them. For example, for the giac tarballs we could put a fork of a giac repo in github.com/sagemath and then create fake releases. Then I can remap the 12 file URLs by hand.

[mkoeppe]

Indeed 11 of the 12 are giac tarballs.

[mkoeppe]

The 12th is an old jmol tarball on https://trac.sagemath.org/ticket/25026

[dimpase]

send them to a museum 🤦🏽‍♂️ (or archive.org)

[mkoeppe]

Well, that's what we're doing here, right? Curating a museum of old tickets