Consider transferring to contrib organization
thomashoneyman opened this issue · 9 comments
Hi @sharkdp!
I'm a member of the PureScript core team and the PureScript Contributors organization (purescript-contrib). We're in the midst of a new PureScript release and I noticed that one or more of our libraries depends on this one.
In general we don't allow libraries from the contrib organization to depend on libraries outside it (or core). This ensures that the core team can make all necessary updates when making a new compiler release.
I noticed while reading through other issues that you aren't actively maintaining this library anymore. Would you be open to transferring it to the purescript-contrib organization, where we will ensure it's updated for each compiler release? You would certainly be able to stay on as the primary maintainer if you wanted to -- but you wouldn't have to if you'd rather not.
Thanks for your time! Let me know what you think!
Would you be open to transferring it to the purescript-contrib organization, where we will ensure it's updated for each compiler release?
Absolutely. That would be fantastic. Glad to hear that the library is still of use.
You would certainly be able to stay on as the primary maintainer if you wanted to -- but you wouldn't have to if you'd rather not.
I would prefer if someone else could take over the maintainership.
Let me know what steps I need to take to transfer the repo or the access rights.
Great to hear!
Let me know what steps I need to take to transfer the repo or the access rights.
You can either add me as an owner to this repository and I can transfer it for you, or I can add you as a member of the purescript-contrib organization, and then you can transfer it. Completely up to you!
invited you as a maintainer
Sorry, I should have been more clear — I would have to be added as an "Owner" or "Administrator"; otherwise, I don't have sufficient permission to initiate the transfer. Alternately, you can be added to the contrib organization with at least permissions to create repositories (a lower level of access).
For all the nitty-gritty details: https://docs.github.com/en/repositories/creating-and-managing-repositories/transferring-a-repository
I don't see any option to make you admin or owner. Maybe that's not possible for user-owned repos (which are not part of an org). You'd either need to add me to purescript-contrib, or I might need to transfer the repo to your user first(?).
when I try to transfer to the org:
I've invited you to the organization so that you can transfer. Afterwards, if you'd like, you can leave the organization (but you're welcome to stay!).
transferred. Thank you!
Thanks!