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

[Robert Sparks <[e-mail]>]

I've started working Martin's and John's comments into the doc. What 
else do we need to add?

<https://github.com/rjsparks/github-backup-sow/>

RjS

On 2/28/20 8:14 AM, Robert Sparks wrote:
>
> On 2/28/20 3:26 AM, Martin Thomson wrote:
>> (Travel might delay more responses...)
>>
>> On Thu, Feb 27, 2020, at 13:55, Robert Sparks wrote:
>>> 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?
>> Now that I understand this more, that is just one of the problems: 
>> locking the repo every hour is likely to be too disruptive.
>
> locking is an option, not a requirement, and it's turned off by 
> default. I didn't see anything that indicated it would break things if 
> you didn't lock the repository.
>
> I think that option was there only to make it easier for people who 
> were really _migrating_ a repository to a different place to avoid 
> confusion or losing information during transition.
>
>>    I don't particularly like the idea that we have this tool as an 
>> owner, but that's less of a problem.