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

["Martin Thomson" <[e-mail]>]

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.

> 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.