Freeing up the username of someone who's never done anything for five years #1820

martinwguy commented 2025年03月14日 17:03:19 +01:00

Comment

Hi!
I'm taking on the maintenance of the Miranda functional programming language interpreter by Profesor David Turner who died last year. Miranda was the principal inspiration for Haskell but Prof. Turner decided on closed-source and a commercial licence (which is why Haskell was made at all) until his final years when he open-sourced it. http://miranda.org.uk
I'd like to create an organization codeberg/miranda where to maintain it, but the username is already taken by someone who seems to have no repositories and no activity whatsoever since they registered in 2020.
Is it possible to contact the person in question to ask if they would be willing to relinquish the name, or is there a mechanism for recycling user registrations that appear never to have been used for anything?
It's not critical; I could call it something else, but its proper name would be nice.

Indicentally, I already maintain his previous functional language, KRC, the modestly-titled Kent Recursive Calculator, which I resurrected by translating his interpreter in BCPL-for-EMAS into C-for-Unix, and the same applies: username "krc" is also taken, this time by someone who's never done anything with it since registering in December 2022.

### Comment Hi! I'm taking on the maintenance of the Miranda functional programming language interpreter by Profesor David Turner who died last year. Miranda was the principal inspiration for Haskell but Prof. Turner decided on closed-source and a commercial licence (which is why Haskell was made at all) until his final years when he open-sourced it. http://miranda.org.uk I'd like to create an organization codeberg/miranda where to maintain it, but the username is already taken by someone who seems to have no repositories and no activity whatsoever since they registered in 2020. Is it possible to contact the person in question to ask if they would be willing to relinquish the name, or is there a mechanism for recycling user registrations that appear never to have been used for anything? It's not critical; I could call it something else, but its proper name would be nice. Indicentally, I already maintain his previous functional language, KRC, the modestly-titled Kent Recursive Calculator, which I resurrected by translating his interpreter in BCPL-for-EMAS into C-for-Unix, and the same applies: username "krc" is also taken, this time by someone who's never done anything with it since registering in December 2022.

Gusted commented 2025年03月14日 17:07:33 +01:00

Hi, please create an username request on https://codeberg.org/Codeberg-e.V./requests.

Hi, please create an username request on https://codeberg.org/Codeberg-e.V./requests.

martinwguy commented 2025年03月14日 17:19:11 +01:00

Thanks

Thanks