Re: [TOOLS-DEVELOPMENT] Backing up Github WG repositories

[Robert Sparks <[e-mail]>]

On 2/26/20 5:56 PM, Martin Thomson wrote:
> On Wed, Feb 26, 2020, at 14:32, Robert Sparks wrote:
>>> To download an archive of your repository, you can use the API for user or organization migrations. For more information, see "Migrations <https://developer.github.com/v3/migrations/>" in the GitHub Developer documentation.
>> Now, it's clear from the warnings about the API changing without
>> advance notice during the preview period that this is not yet stable,
>> but it is what they aim people at right now.
>>
>> Do you read their documentation differently?
> https://developer.github.com/v3/migrations/users/#download-a-user-migration-archive is a more targeted link.  I don't know about the format of the dump you get.

You have to do the steps before it on that page before there's anything 
to download.

Specifically: 
https://developer.github.com/v3/migrations/users/#start-a-user-migration 
will have had to have succeeded (it's where you get :migration_id, and 
https://developer.github.com/v3/migrations/users/#start-a-user-migration 
will have to have been checked to see that the migration has finished 
successfully.

And one more thing to consider: This whole API requires providing the 
credentials of an _owner_ of the repository being backed up. I suspect 
that means we'll have an identity that we ask WG draft repositories to 
add as an owner. Does that match your expectations?

>
>> So, we
>> clearly specify that we have a requirement to capture labels and
>> comments, and leave it to the bidders to propose tools that will do
>> that, yes? We can make sure the language where we point to potential
>> solutions doesn't imply they are fit, or preferred.
> Sounds good.  Thanks.