Re: Merging git history for jws-2020

To be honest, I have never done something like that. I have found some pointers on how to do this

https://medium.com/@gmcharmy/merging-two-github-repositories-history-5223ad77c477 <https://medium.com/@gmcharmy/merging-two-github-repositories-history-5223ad77c477>
https://medium.com/@checko/merging-two-git-repositories-into-one-preserving-the-git-history-4e20d3fafa4e <https://medium.com/@checko/merging-two-git-repositories-into-one-preserving-the-git-history-4e20d3fafa4e>

which involve some git magic that I do not possess. I have not found a handy way of doing this in github, but I am sure there is one...

Ivan

> On 19 Jul 2022, at 15:10, Orie Steele <orie@transmute.industries> wrote:
> 
> I would like to merge the history from:
> 
> https://github.com/w3c-ccg/lds-jws2020 <https://github.com/w3c-ccg/lds-jws2020>
> 
> into:
> 
> https://github.com/w3c/vc-jws-2020 <https://github.com/w3c/vc-jws-2020>
> 
> See: https://github.com/w3c/vc-jws-2020/issues/1 <https://github.com/w3c/vc-jws-2020/issues/1>
> 
> Regards,
> 
> OS
> 
> --
> ORIE STEELE
> Chief Technical Officer
> www.transmute.industries
> 
>  <https://www.transmute.industries/>


----
Ivan Herman, W3C
Home: http://www.w3.org/People/Ivan/
mobile: +33 6 52 46 00 43