Re: discrepancy re. github policy for CGs

On 01/03/2023 22:51, Ian Jacobs wrote:
> Hi Pierre-Antoine,
>
> Thank you _very much_ for this report. I have updated the CG infrastructure documentation:
>   https://www.w3.org/community/about/tool/#github


No problem ;)

As we are at it: the N3 CG is considering opening two new repositories 
(that's how I discovered the new policy...)

But they currently have one repo in the w3 organization (w3c/N3). It 
might be confusing to have our repos scattered across the two 
organizations, so we may require to moved the old one  to w3c-cg/N3 
(maybe there even is a plan to do that for all CG repos?).

The prooblem is: when a repo is renamed or relocated to a new 
organisation, github manages the redirections for repo pages on 
github.com [1, 5th bullet]... but not for the gh-pages on github.io! So 
this would break any link / bookmarks that people may have on the pages 
the CG has published in the past. Which is really not in line with W3C 
policy about persistent URIs...

What would be your advice on that?

   pa

[1] 
https://docs.github.com/en/repositories/creating-and-managing-repositories/transferring-a-repository#whats-transferred-with-a-repository


>
> Ian
>
>> On Mar 1, 2023, at 3:10 PM, Pierre-Antoine Champin <pierre-antoine@w3.org> wrote:
>>
>> This page:
>>
>>      https://www.w3.org/2016/04/cg-support/

>>
>> says that, starting May 2022, CG repos are in the w3c-cg organisation (instead of w3c)
>>
>> That page
>>
>>      https://www.w3.org/community/about/tool/#github

>>
>> does not reflect that change.
>>
>>    pa
>>
>> <OpenPGP_0x9D1EDAEEEF98D438.asc>
> --
> Ian Jacobs <ij@w3.org>
> https://www.w3.org/People/Jacobs/

> Tel: +1 917 450 8783
>
>
>
>
>