Transferring ownership of the repository

[CarlosDerSeher]

@jorgenkraghjakobsen It seems you are not active on this anymore. As my fork is pretty mature now I was thinking, maybe you could transfer to project to me?

Thanks for all your work and greetings from Austria Karl

[jorgenkraghjakobsen]

Hi Karl Thanks.I would be very happy to do so.And yes I have moved on, started my on consultancy shop that is planned to grow in to some thing bigger.All my time is now used in open source chip design tools and PDKs.Heading off to Austria next Friday to spend the xmes in the snow.Jørgen14. dec. 2023 23.13 skrev CarlosDerSeher @.***>: It seems you are not active on this anymore. As my fork is pretty mature now I was thinking, maybe you could transfer to project to me? Thanks for all your work and greetings from Austria Karl

—Reply to this email directly, view it on GitHub, or unsubscribe.You are receiving this because you are subscribed to this thread.Message ID: @.***>

[TekniskSupport]

A BIG -Thank you- for your time spent and work on this so far to make it what it is @jorgenkraghjakobsen

[CarlosDerSeher]

Thank you and good luck and much success on your way :)

You go skiing to the mountains? Tyrol .. Salzburg? I am from the flatlands, near Vienna on the countryside. Highest mountain here is maybe around 500m XD

[CarlosDerSeher]

@jorgenkraghjakobsen hey I hope you had a good vacation? Just a little reminder, if you find some time to do this it would be really great :)

[CarlosDerSeher]

@jorgenkraghjakobsen Not sure if this really is what you want: https://docs.github.com/en/repositories/creating-and-managing-repositories/transferring-a-repository

if not, you could just link to my fork from Readme's first line with the hint that future deleopment is happening there.